jaredcdavis

Jared Davis's repositories

Running external programs from Common Lisp

Language:Common LispNOASSERTION4 2 13

Jared's public fork of ACL2

Language:Common LispNOASSERTION1 20

My emacs configuration

Language:Emacs LispNOASSERTION1 10

File Utilities Library for Common Lisp

Language:Common LispNOASSERTION1 2 1

Swift verilog

Language:SwiftNOASSERTION1 10

The official AWS SDK for Java.

Apache-2.0000

Efficient hex string I/O ops for Common Lisp streams

Language:Common LispNOASSERTION000

Mirror of Steel Bank Common Lisp (SBCL)'s official repository

Language:Common LispNOASSERTION010