Catgirls-With-Keyboards's repositories
Cuter-Prolog
A theorem prover for Hereditary Harrop Formula
Language:CMIT000
Language:C000
huggingface-c-adapter
Huggingface completions api wrapper for C.
Language:CApache-2.0000
libtmt
Because the original isn't being maintained.
Language:C000
lispnt
Lisp written by catgirls who don't know lisp.
Language:HaskellAGPL-3.0000