sshastry / queenslogicLinks
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
Sorting:
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Simple lambda prover