bmsherman / blog
☆41Updated 10 years ago
Alternatives and similar repositories for blog:
Users that are interested in blog are comparing it to the libraries listed below
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- Another implementation of Frank.☆70Updated 7 years ago
- Jupyter notebooks☆58Updated 3 months ago
- JVM implementation in Haskell☆44Updated 5 months ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- n queens with the logic monad☆20Updated 10 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 4 months ago
- Dive into GHC☆82Updated 8 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- Edison: A Library of Efficient Data Structures☆55Updated last month
- A small and expressive dependently typed language☆129Updated 4 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- ☆60Updated 5 years ago
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- ☆40Updated 6 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago