andrewchawk
Follow
-
-
At the end of the day, a chapter is just a subsection of a part, right?!
UpdatedFeb 5, 2025 -
-
-
djun-1 Public
This paper describes parts of Djun, which is a "knowledge stuff" category.
TeX The Unlicense UpdatedDec 2, 2024 -
casanova-fly Public
Casanova Fly is a formally-verified computer algebra system.
TeX The Unlicense UpdatedOct 29, 2024 -
a-partial-order-on-elections Public
This whole thing is currently *just a draft*. Any readers should expect loadsajank.
TeX The Unlicense UpdatedAug 28, 2024 -
OpenBSD Public
Forked from openbsd/srcRead-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
C UpdatedAug 21, 2024 -
coq-tutorial Public
Forked from onestruggler/coq-tutorialA self-contained Coq tutorial without any import. It proves insertion sort is correct and addition is associative.
Coq MIT License UpdatedAug 16, 2024 -
short-intro-reflection Public
Forked from onestruggler/short-intro-reflectionA very short introduction to Agda's reflection mechanism.
TeX MIT License UpdatedAug 13, 2024 -
type-theory-topology Public
"Topology for Pretentious Type Theorists" should be pretty self-explanatory. This project is nowhere near completion.
TeX The Unlicense UpdatedAug 8, 2024 -
casanova Public
Casanova is a computer algebra system for Haskell.
Haskell The Unlicense UpdatedJul 31, 2024 -
-
jticker Public
jticker is a news ticker which is written in Java.
Java The Unlicense UpdatedApr 23, 2024 -
-
java-for-haskellers Public
"Java for Haskellers" is -- well, will be -- a small book which describes Java in a way which is -- hopefully -- appealing to Haskellers.
The Unlicense UpdatedApr 3, 2024 -
reguloj Public
Forked from metio/regulojLightweight business rule engine
Java BSD Zero Clause License UpdatedFeb 7, 2024 -
mathcan Public
Forked from susam/mathbShare mathematics on the web with LaTeX and Markdown
Common Lisp MIT License UpdatedNov 8, 2023 -
hocket Public
Forked from markus1189/hocketHocket the Haskell pocket client
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 23, 2023 -
haskell-invoice Public
Forked from SlimTim10/easy-invoice-makerEasily generate PDF invoices which are emailed automatically to the client.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 5, 2023 -
portcullis Public
Forked from jzwood/portcullisA minimalist / functional / dataflow programming language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 3, 2023 -
hs-to-coq Public
Forked from plclub/hs-to-coqConvert Haskell source code to Coq source code.
Coq MIT License UpdatedJul 31, 2023 -
countdown-bar Public
Forked from AndreiUlmeyda/countdown-barSpawns a rectangular window where a colored bar ticks down towards the middle of the screen over 25 minutes.
Haskell The Unlicense UpdatedMay 7, 2023 -
GLaDOS-2023 Public
Forked from nydragon/GLaDOS-2023A Scheme interpreter in Haskell.
Haskell The Unlicense UpdatedMar 13, 2023 -
funcl Public
Forked from selwynsimsek/funclComputer algebra system for Common Lisp
Common Lisp UpdatedDec 14, 2022 -
cl-xmpp Public
Forked from atlas-engineer/cl-xmppCleaned-up version of CL-XMPP.
Common Lisp Other UpdatedOct 24, 2022 -
Emmental Public
Forked from catseye/EmmentalA language based on meta-circular interpreters, precursor to Mascarpone.
Haskell The Unlicense UpdatedSep 24, 2022 -
galois-fields-lisp Public
Forked from nklein/galois-fieldsCommon Lisp library for calculating in Galois fields
Common Lisp The Unlicense UpdatedJun 27, 2021 -
huffman-canon Public
Forked from thomashoullier/huffman-canonCanonical Huffman encoder/decoder for Common Lisp
Common Lisp The Unlicense UpdatedJan 9, 2020 -
coq-chick-blog Public
Forked from clarus/coq-chick-blog🐣 A blog engine written and proven in Coq
Coq MIT License UpdatedDec 1, 2019