Pinned Repositories
argo
JSON Schema Adventures
computational-metaphysics
Investigations in computational metaphysics
decimal128
JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic
dialogues
Tools for exploring logic through Lorenzen dialogue games.
ejs
Exact JSON library for Racket
ladr
LADR: Library for Automated Deduction Research
laramie
HTML5 parser for Racket
mizar-items
Breaking up mizar articles into bits and computing relations among them.
racketcon-2018-web-devel-workshop
Tutorials for the web devel workshop given at RacketCon 2018
tipi
Theory development with TPTP
jessealama's Repositories
jessealama/dialogues
Tools for exploring logic through Lorenzen dialogue games.
jessealama/mizar-items
Breaking up mizar articles into bits and computing relations among them.
jessealama/ce-el
Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy
jessealama/finkinfo
My fink work
jessealama/hunchentoot-utils
A collection of utilities for making websites with the hunchentoot web server
jessealama/mizar-parser
Services for parsing Mizar texts
jessealama/xslutils
Utilities for working with XSL files.
jessealama/fink-mode
Editing Fink package description files in Emacs
jessealama/xsl4tptp
Working with the XML forms of TPTP problems
jessealama/cl-parallel
A parallelism library for Common Lisp.
jessealama/cl-stripe
A (toy) library for interfacing with stripe.com from Common Lisp
jessealama/cl-tptp
Working with TPTP files in Common Lisp
jessealama/clj-http
An idiomatic clojure http client wrapping the apache client. Offically supported version.
jessealama/clj-tagsoup
A HTML parser for Clojure.
jessealama/equinox
jessealama/exist
eXist Native XML Database and Application Platform
jessealama/http
Racket support for HTTP 1.1.
jessealama/lisp-unit
A Test Framework for Common Lisp in the style of JUnit, designed and implemented with simplicity of use in mind.
jessealama/magit
It's Magit! An Emacs mode for Git.
jessealama/minisat
A minimalistic and high-performance SAT solver
jessealama/norm
Normalization of natural deduction proofs
jessealama/quicklisp-client
Quicklisp client.
jessealama/reveal.js
The HTML Presentation Framework
jessealama/ring
Clojure HTTP server abstraction
jessealama/scikit-learn
scikit-learn: machine learning in Python
jessealama/snowplow
Enterprise-strength web, mobile and event analytics, powered by Hadoop, Kinesis, Redshift and Elasticsearch
jessealama/snowplow-javascript-tracker
Snowplow event tracker for client-side JavaScript. Add analytics to your websites and web apps. (See also: snowplow-nodejs-tracker)
jessealama/weierstrass
jessealama/xmlcalabash1
XML Calabash, an XProc processor
jessealama/xsl4mizar