Stars
Source code for the X Recommendation Algorithm
Notification push service written with SSE and Golang
Python tool for converting files and office documents to Markdown.
Official inference framework for 1-bit LLMs
Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.
Pandoc-backed static site generator shell script with precompiled binary dependencies
Experimental code that checks some features of static ptr in GHC
Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
A community driven list of useful Emacs packages, libraries and other items.
Collection of quotes on notation design & how it affects thought.
Answer the front gate buzzer via SMS, uses serverless and twilio
Dependently-typed language with Iverson-style implicit lifting
ACL2 System and Books as Maintained by the Community
A diagram of the Android Activity / Fragment lifecycle
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Sets, Finite Posets, Chains, Antichains, Chain Cover, Antichain Cover, Dilworth's and Mirsky's Theorem, Sequence, Subsequences and Erdos-Szekers Theorem, Bipartite graphs, L-perfect matching and Ha…
An axiom-free formalization of category theory in Coq for personal study and practical work
This repository contains a collection of sample programms in various languages mainly to serve as illustrations
A cryptographically secure couple matching platform with strong guarantees
High-level bindings to the Messenger Platform API based on servant library.