stefan-hoeck / idris2-tutorialLinks
☆233Updated 2 weeks ago
Alternatives and similar repositories for idris2-tutorial
Users that are interested in idris2-tutorial are comparing it to the libraries listed below
Sorting:
- ☆126Updated 2 weeks ago
- Language Server for Idris2☆181Updated this week
- A categorical programming language with effects☆283Updated 2 years ago
- Haskell implemented with combinators☆576Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 3 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated 2 years ago
- Minimal implementations for dependent type checking and elaboration☆728Updated last week
- Standard library for linear types in Haskell.☆348Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆391Updated this week
- Compiling Agda code to readable Haskell☆190Updated 3 weeks ago
- Dependent type checker using normalisation by evaluation☆265Updated 11 months ago
- An implementation of Pie in Haskell☆209Updated 5 years ago
- A prompt engineering functional programming language☆426Updated this week
- Source material for Algebra-Driven Design☆151Updated last year
- The adventures of a Haskell compiler☆231Updated 3 months ago
- Embeddable Lambda Prolog Interpreter☆325Updated last week
- Relational programming in Haskell. Mostly developed on twitch.☆265Updated 11 months ago
- A demo implementation of a simple dependently-typed language☆610Updated 9 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆382Updated last year
- 😎TT☆231Updated 2 weeks ago
- A purely functional programming language with first class types☆61Updated 5 months ago
- Staged compilation with dependent types☆179Updated 3 months ago
- My slides and compilation of resources.☆154Updated 11 months ago
- Code challenges to solve with Haskell☆166Updated 4 months ago
- Frank compiler☆296Updated last year
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆434Updated 2 weeks ago
- Spartan type theory☆269Updated last year
- Selected Papers of Dana S. Scott☆162Updated last year
- Bootstrapping ATS3☆226Updated this week
- Resources for type theory, functional programming, etc.☆321Updated 4 years ago