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
- Edison: A Library of Efficient Data Structures☆55Updated last month
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- Another implementation of Frank.☆70Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- TiML: A Functional Programming Language with Time Complexity☆77Updated 7 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆139Updated 4 years ago
- ☆60Updated 5 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆159Updated 6 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 4 months ago
- Jupyter notebooks☆58Updated 3 months ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated 6 months ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Dive into GHC☆82Updated 8 years ago
- Static blog generator in Idris.☆39Updated 10 years ago