andrewchawk's repositories
casanova-fly
Casanova Fly is a formally-verified computer algebra system.
OpenBSD
Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
coq-tutorial
A self-contained Coq tutorial without any import. It proves insertion sort is correct and addition is associative.
short-intro-reflection
A very short introduction to Agda's reflection mechanism.
type-theory-topology
"Topology for Pretentious Type Theorists" should be pretty self-explanatory. This project is nowhere near completion.
andrewchawk
Config files for my GitHub profile.
casanova
Casanova is a computer algebra system for Haskell.
jticker
jticker is a news ticker which is written in Java.
java-for-haskellers
"Java for Haskellers" is -- well, will be -- a small book which describes Java in a way which is -- hopefully -- appealing to Haskellers.
reguloj
Lightweight business rule engine
mathcan
Share mathematics on the web with LaTeX and Markdown
hocket
Hocket the Haskell pocket client
haskell-invoice
Easily generate PDF invoices which are emailed automatically to the client.
portcullis
A minimalist / functional / dataflow programming language
hs-to-coq
Convert Haskell source code to Coq source code.
countdown-bar
Spawns a rectangular window where a colored bar ticks down towards the middle of the screen over 25 minutes.
GLaDOS-2023
A Scheme interpreter in Haskell.
funcl
Computer algebra system for Common Lisp
cl-xmpp
Cleaned-up version of CL-XMPP.
Emmental
A language based on meta-circular interpreters, precursor to Mascarpone.
galois-fields-lisp
Common Lisp library for calculating in Galois fields
huffman-canon
Canonical Huffman encoder/decoder for Common Lisp
coq-chick-blog
🐣 A blog engine written and proven in Coq
quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
newtonX
A Newtonian, rigid body physics engine for Haskell.