Pinned Repositories
co-de-bruijn
documentator
Exploration of the design space for "(semi)automatic documentation" in haskell.
haskell-webapps
Proof-of-concept code for a typical webapp implemented in various Haskell libraries/frameworks
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
imageSplit
Cut horizontal stripes from book scans and use them in spaced repetition software
logicExperiments
Proof of concept prover for a restricted sequent calculus
preprocessor
Remove cpp annotations, to get the source ready for static analysis with a parsing library.
reif
Ulrich Newmerkel's library for reified if, as a prolog pack
unification-sop
Haskell package that implements typed terms with logical variables in a prolog-style
meditans's Repositories
meditans/reif
Ulrich Newmerkel's library for reified if, as a prolog pack
meditans/unification-sop
Haskell package that implements typed terms with logical variables in a prolog-style
meditans/type_check
Copy of Tom Schrijvers' prolog library v 1.0.1, to make some improvements
meditans/aoc2023
Solutions for advent of code 2023
meditans/co-de-bruijn
meditans/portal-malli-visualizer
meditans/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
meditans/chainweaver
Kadena Chainweaver desktop wallet and web-based playground for Pact
meditans/dcg_tools
Battery included bidirectional prolog dcg parsing
meditans/defn-spec
Add function args and return Spec checking via assertions
meditans/doom-emacs-config
my configuration for doom emacs
meditans/dspy
Stanford DSPy: The framework for programming with foundation models
meditans/gestalt
Prolog debugging at a glance
meditans/ghostwheel
Hassle-free inline clojure.spec with semi-automatic generative testing and side effect detection
meditans/hackage-reflex-overlay
A nix overlay to use reflex and reflex-dom directly from hackage, with cabal
meditans/hereditary-delay
hereditary delay
meditans/lmql
A programming language for large language models.
meditans/malli
Data-Driven Schemas for Clojure/Script.
meditans/medikit
meditans' prolog personal utilities
meditans/minimal-origin
Delay monad study
meditans/music21
music21 is a Toolkit for Computational Musicology
meditans/nixpkgs
Nix Packages collection
meditans/obelisk
Obelisk provides an easy way to develop and deploy your Reflex project for web and mobile
meditans/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).
meditans/packages-pengines
Pengines: Prolog engines
meditans/packaging-vllm
Trying to build vllm via poetry2nix
meditans/portal
A clojure tool to navigate through your data.
meditans/reflex-dom
meditans/smithy-test
meditans/xmonad-config
my xmonad configuration