jessealama/fink-mode

Stars
1
Language
Emacs Lisp
Created almost 12 years ago
Updated almost 10 years ago

jessealama/fink-mode

jessealama

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Editing Fink package description files in Emacs

argo

JSON Schema Adventures

ladr

LADR: Library for Automated Deduction Research

dialogues

Tools for exploring logic through Lorenzen dialogue games.

racketcon-2018-web-devel-workshop

Tutorials for the web devel workshop given at RacketCon 2018

computational-metaphysics

Investigations in computational metaphysics

decimal128

JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic

ejs

Exact JSON library for Racket

tipi

Theory development with TPTP

laramie

HTML5 parser for Racket

mizar-items

Breaking up mizar articles into bits and computing relations among them.

1d6

A Racket implementation of the Troll dice-rolling language

ce-el

Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy

uri-template

URI Template (RFC 6570) for Racket

tptp4mizar

Theories in proofs, in TPTP and Mizar

sturgis

Commandline web browser

mizar-parser

Services for parsing Mizar texts

tptp-el

Work with TPTP files, theorem provers, and model finders

xslutils

Utilities for working with XSL files.

finkinfo

texweb

A web server for processing documents with TeX and friends

hunchentoot-utils

A collection of utilities for making websites with the hunchentoot web server

json-pointer

Racket implementation of a JSON Pointer evaluator (RFC 6901)

rhtml5

Racket implementation of the HTML5 parsing algorithm.

ansel

A World of Warcraft screenshot addon to rule them all.

my-git

A home for all my exploratory git code

bozeman

XSLT for Racket

object-theory

Working with object theory, computationally

dotemacs

My .emacs configuration

xsl4tptp

Working with the XML forms of TPTP problems