OlivierNicole / haskell-chess
A very simple chess engine written in Haskell (work in progress).
☆19Updated 6 years ago
Related projects: ⓘ
- Fast haskell chess move generator library and console UCI frontend☆31Updated last year
- A simple combinator library☆29Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆92Updated last year
- The theory of groups☆76Updated last year
- Free Algebras in Haskell☆36Updated 3 weeks ago
- Examples for Haskell bindings to LLVM☆70Updated 3 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆25Updated 2 months ago
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- Yet another Scheme implemented in Haskell☆20Updated 4 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- ☆46Updated 5 months ago
- small programming language. pls be gentle.☆39Updated 3 months ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Simple adjunctions☆44Updated 11 months ago
- An experimental category theory library for Lean☆46Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆15Updated last year
- Modular arithmetic, promoting moduli to the type level☆24Updated 4 months ago
- ☆44Updated 6 months ago
- ☆35Updated 2 years ago
- An interpreter for Gödel's System T☆11Updated 7 years ago
- semirings and *-semirings of types in base/haskell-platform☆40Updated 4 months ago
- The Software Foundations book, in GHC☆81Updated 3 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆66Updated 11 months ago
- URI manipulation facilities☆25Updated 3 weeks ago
- "Modern compiler implementation" in Haskell!☆25Updated 9 years ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago