jessealama/ring
Clojure HTTP server abstraction
Developer Profile
jessealama
Discovered public repositories for jessealama in the GitHub catalog.
jessealama/reveal.js
The HTML Presentation Framework
jessealama/clj-http
An idiomatic clojure http client wrapping the apache client. Offically supported version.
jessealama/clj-tagsoup
A HTML parser for Clojure.
jessealama/Autobench
Public repository.
jessealama/simple-slides
A ConTeXt module for creating simple slides
jessealama/minisat
A minimalistic and high-performance SAT solver
jessealama/norm
Normalization of natural deduction proofs
jessealama/quicklisp-client
Quicklisp client.
jessealama/cl-tptp
Working with TPTP files in Common Lisp
jessealama/lisp-unit
A Test Framework for Common Lisp in the style of JUnit, designed and implemented with simplicity of use in mind.
jessealama/cl-parallel
A parallelism library for Common Lisp.
jessealama/magit
It's Magit! An Emacs mode for Git.
jessealama/equinox
Public repository.
jessealama/tptp-world
The TPTP World (Thousands of Problems for Theorem Provers)
jessealama/object-theory
Working with object theory, computationally
jessealama/fun
Throwaway code that I don't really want to throw away
jessealama/twilight-emacs
Twilight Theme for Emacs
jessealama/fink-mode
Editing Fink package description files in Emacs
jessealama/xslutils
Utilities for working with XSL files.
jessealama/xsl4tptp
Working with the XML forms of TPTP problems
jessealama/ladr
LADR: Library for Automated Deduction Research
jessealama/tptp4mizar
Theories in proofs, in TPTP and Mizar
jessealama/tipi
Theory development with TPTP
jessealama/mizar-parser
Services for parsing Mizar texts
jessealama/ott2miz
Public repository.
jessealama/hunchentoot
Web server
jessealama/ce-el
Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy
jessealama/computational-metaphysics
Investigations in computational metaphysics
jessealama/tptp-el
Work with TPTP files, theorem provers, and model finders
jessealama/finkinfo
My fink work
jessealama/sandbox
just playing around
jessealama/dotemacs
My .emacs configuration
jessealama/mizar-items
Breaking up mizar articles into bits and computing relations among them.
jessealama/jessealama.github.com
My github.com homepage
jessealama/MMLLicense
Licensing for the Mizar Mathematical Library
jessealama/ucw-sandbox
Learning about UnCommon Web
jessealama/hunchentoot-utils
A collection of utilities for making websites with the hunchentoot web server
jessealama/polyhedra
Logical research on combinatorial polyhedra (emphasizing Euler's polyhedron formula)
jessealama/texweb
A web server for processing documents with TeX and friends
jessealama/my-git
A home for all my exploratory git code
jessealama/xsl4mizar
Public repository.
jessealama/MPTP2
Public repository.
jessealama/ikiwiki
a wiki compiler
jessealama/mwiki
Public repository.
jessealama/mizarmode
mizarmode
jessealama/dialogues
Tools for exploring logic through Lorenzen dialogue games.
jessealama/EviL
MSc Thesis: Evidentialist Logic
jessealama/aquamacs-emacs
The Aquamacs development repo
jessealama/ansel
A World of Warcraft screenshot addon to rule them all.