bmsherman / blog
☆41Updated 9 years ago
Related projects: ⓘ
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- Another implementation of Frank.☆71Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 6 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- Edison: A Library of Efficient Data Structures☆54Updated 9 months ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆216Updated 6 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 6 years ago
- JVM implementation in Haskell☆43Updated this week
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 4 years ago
- ☆55Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 8 years ago
- Forth clone in Haskell☆31Updated 7 years ago
- Algebraic structures for untyped Racket☆75Updated 2 months ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆67Updated 9 years ago
- Type provider library for Idris☆91Updated 6 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- ☆41Updated 6 years ago
- The Ntha Programming Language☆93Updated 7 years ago
- Probabilistic computation in Idris☆33Updated 5 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆140Updated 3 years ago