Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by jessealama
A curated list of projects in awesome lists by jessealama .
https://github.com/jessealama/dialogues
Tools for exploring logic through Lorenzen dialogue games.
Last synced: 11 Nov 2024
https://github.com/jessealama/ladr
LADR: Library for Automated Deduction Research
Last synced: 11 Nov 2024
https://github.com/jessealama/racketcon-2018-web-devel-workshop
Tutorials for the web devel workshop given at RacketCon 2018
Last synced: 11 Nov 2024
https://github.com/jessealama/computational-metaphysics
Investigations in computational metaphysics
Last synced: 11 Nov 2024
https://github.com/jessealama/decimal128
JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic
Last synced: 11 Nov 2024
https://github.com/jessealama/mizar-items
Breaking up mizar articles into bits and computing relations among them.
Last synced: 11 Nov 2024
https://github.com/jessealama/ce-el
Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy
Last synced: 11 Nov 2024
https://github.com/jessealama/1d6
A Racket implementation of the Troll dice-rolling language
Last synced: 11 Nov 2024
https://github.com/jessealama/uri-template
URI Template (RFC 6570) for Racket
Last synced: 11 Nov 2024
https://github.com/jessealama/tptp4mizar
Theories in proofs, in TPTP and Mizar
Last synced: 11 Nov 2024
https://github.com/jessealama/xslutils
Utilities for working with XSL files.
Last synced: 11 Nov 2024
https://github.com/jessealama/json-pointer
Racket implementation of a JSON Pointer evaluator (RFC 6901)
Last synced: 11 Nov 2024
https://github.com/jessealama/hunchentoot-utils
A collection of utilities for making websites with the hunchentoot web server
Last synced: 11 Nov 2024
https://github.com/jessealama/texweb
A web server for processing documents with TeX and friends
Last synced: 11 Nov 2024
https://github.com/jessealama/mizar-parser
Services for parsing Mizar texts
Last synced: 11 Nov 2024
https://github.com/jessealama/tptp-el
Work with TPTP files, theorem provers, and model finders
Last synced: 11 Nov 2024
https://github.com/jessealama/rhtml5
Racket implementation of the HTML5 parsing algorithm.
Last synced: 11 Nov 2024
https://github.com/jessealama/ansel
A World of Warcraft screenshot addon to rule them all.
Last synced: 11 Nov 2024
https://github.com/jessealama/fink-mode
Editing Fink package description files in Emacs
Last synced: 11 Nov 2024
https://github.com/jessealama/xsl4tptp
Working with the XML forms of TPTP problems
Last synced: 11 Nov 2024
https://github.com/jessealama/my-git
A home for all my exploratory git code
Last synced: 11 Nov 2024
https://github.com/jessealama/object-theory
Working with object theory, computationally
Last synced: 11 Nov 2024
https://github.com/jessealama/tptp-world
The TPTP World (Thousands of Problems for Theorem Provers)
Last synced: 11 Nov 2024
https://github.com/jessealama/norm
Normalization of natural deduction proofs
Last synced: 11 Nov 2024
https://github.com/jessealama/fun
Throwaway code that I don't really want to throw away
Last synced: 11 Nov 2024
https://github.com/jessealama/cultural-anthropology
All packages discussed or mentioned in the book Language-oriented Programming in Racket: A Cultural Anthropology
Last synced: 11 Nov 2024
https://github.com/jessealama/dallas
Experimental implementation of Darwen & Date's D database language
Last synced: 11 Nov 2024
https://github.com/jessealama/cl-tptp
Working with TPTP files in Common Lisp
Last synced: 11 Nov 2024
https://github.com/jessealama/lean-decimals
Implementation & verification of exact decimal arithmetic in Lean 4
Last synced: 11 Nov 2024
https://github.com/jessealama/polyhedra
Logical research on combinatorial polyhedra (emphasizing Euler's polyhedron formula)
Last synced: 11 Nov 2024