There are no reviews yet. Be the first to send feedback to the community and the maintainers!
argo
JSON Schema Adventuresladr
LADR: Library for Automated Deduction Researchdialogues
Tools for exploring logic through Lorenzen dialogue games.racketcon-2018-web-devel-workshop
Tutorials for the web devel workshop given at RacketCon 2018computational-metaphysics
Investigations in computational metaphysicsdecimal128
JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmeticejs
Exact JSON library for Rackettipi
Theory development with TPTPlaramie
HTML5 parser for Racketmizar-items
Breaking up mizar articles into bits and computing relations among them.1d6
A Racket implementation of the Troll dice-rolling languagece-el
Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophyuri-template
URI Template (RFC 6570) for Rackettptp4mizar
Theories in proofs, in TPTP and Mizarsturgis
Commandline web browsermizar-parser
Services for parsing Mizar textstptp-el
Work with TPTP files, theorem provers, and model findersxslutils
Utilities for working with XSL files.finkinfo
My fink worktexweb
A web server for processing documents with TeX and friendshunchentoot-utils
A collection of utilities for making websites with the hunchentoot web serverjson-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 codeobject-theory
Working with object theory, computationallydotemacs
My .emacs configurationxsl4tptp
Working with the XML forms of TPTP problemsfink-mode
Editing Fink package description files in EmacsLove Open Source and this site? Check out how you can help us