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