Carlo Nucera's repositories
unification-sop
Haskell package that implements typed terms with logical variables in a prolog-style
type_check
Copy of Tom Schrijvers' prolog library v 1.0.1, to make some improvements
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
chainweaver
Kadena Chainweaver desktop wallet and web-based playground for Pact
dcg_tools
Battery included bidirectional prolog dcg parsing
defn-spec
Add function args and return Spec checking via assertions
doom-emacs-config
my configuration for doom emacs
dspy
Stanford DSPy: The framework for programming with foundation models
ghostwheel
Hassle-free inline clojure.spec with semi-automatic generative testing and side effect detection
hackage-reflex-overlay
A nix overlay to use reflex and reflex-dom directly from hackage, with cabal
hereditary-delay
hereditary delay
lmql
A programming language for large language models.
malli
Data-Driven Schemas for Clojure/Script.
medikit
meditans' prolog personal utilities
minimal-origin
Delay monad study
music21
music21 is a Toolkit for Computational Musicology
ovm-uniswap-v2-core
🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EVM).
packages-pengines
Pengines: Prolog engines
packaging-vllm
Trying to build vllm via poetry2nix
portal
A clojure tool to navigate through your data.
xmonad-config
my xmonad configuration