sshastry / queenslogic
n queens with the logic monad
☆20Updated 10 years ago
Alternatives and similar repositories for queenslogic:
Users that are interested in queenslogic are comparing it to the libraries listed below
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last week
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- From Haskell to Hardware via CCCs☆58Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Composable probability monads in Haskell.☆22Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- ☆40Updated 6 years ago