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:
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- ☆47Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- A nano "theorem prover".☆62Updated 6 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
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 6 months ago
- Type provider library for Idris☆94Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 9 months ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- ☆41Updated 8 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- dependent types meets deep learning☆44Updated 6 years ago
- A prototype programming language for programming with runners☆91Updated 3 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- Dive into GHC☆82Updated 8 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago