jaredcdavis

Jared Davis's starred repositories

Clozure Common Lisp

Language:Common LispApache-2.083400

Aiksaurus thesaurus

Language:C++GPL-2.0900

A portable Common Lisp library for running external programs from within Lisp.

Language:Common LispNOASSERTION6800

Metadata for projects tracked by Quicklisp.

My emacs configuration

Language:Emacs LispNOASSERTION100

Running external programs from Common Lisp

Language:Common LispNOASSERTION400

Jared's public fork of ACL2

Language:Common LispNOASSERTION100

Osicat is a lightweight operating system interface for Common Lisp

Language:Common LispNOASSERTION8600

ACL2 System and Books as Maintained by the Community

Language:Common LispNOASSERTION34700

CakeML: A Verified Implementation of ML

Language:Standard MLNOASSERTION92500

typeahead.js is a fast and fully-featured autocomplete library

Language:JavaScriptMIT1652500