rpasta42 / ChessKell
Chess Engine written in Haskell
☆15Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for ChessKell
- Term Rewriting Systems☆17Updated 9 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- ☆23Updated 7 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- Functional Vector Graphics☆15Updated 7 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- ☆23Updated 6 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- Recursion schemes in ATS☆9Updated 2 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- ☆20Updated 5 years ago
- TODO☆10Updated 9 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- Concurrency features for the Haskell machines package☆17Updated 2 years ago