madman-bob / idris2-python
A Python backed for Idris 2
☆23Updated 5 months ago
Alternatives and similar repositories for idris2-python:
Users that are interested in idris2-python are comparing it to the libraries listed below
- Idris port of Haskell's sop-core library☆34Updated last year
- Command line interface library in Idris☆31Updated 8 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- GRIN backend for Idris☆51Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Package manager for Idris☆35Updated 2 years ago
- apkg - package manager for Agda☆37Updated 3 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- OCaml backend for Idris2☆19Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- ☆21Updated last week
- Miller/pattern unification in Agda☆65Updated 11 years ago
- Where my everyday research happens☆52Updated last week
- IO using sized types and copatterns☆33Updated 4 years ago
- being bits and pieces I'm inclined to leave lying around☆49Updated 4 months ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- A Unifying Cartesian Cubical Set Model☆35Updated 5 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- A verified compiler for a lazy functional language☆35Updated this week
- A usable type system for call by push-value☆33Updated 5 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Data frames for Idris 2☆21Updated 2 years ago
- An Idris port of the Haskell Hedghog library☆32Updated 6 months ago
- GRIN backend for Idris2☆34Updated 2 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆58Updated last year
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago