bor0 / gidtiLinks
Book: Introduction to Dependent Types with Idris
☆78Updated 2 years ago
Alternatives and similar repositories for gidti
Users that are interested in gidti are comparing it to the libraries listed below
Sorting:
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 9 months ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Slides & demos for talks I do☆58Updated 2 weeks ago
- ☆47Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- ☆41Updated 8 years ago
- A prototype programming language for programming with runners☆91Updated 4 years ago
- TParsec - Total Parser Combinators in Idris☆96Updated 2 years ago
- An implementation of Pie in Haskell☆211Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 11 months ago
- Higher-order optimization library☆76Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- dependent types meets deep learning☆44Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Example row-polymorphism implementations☆61Updated 2 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago