LightAndLight / ipso
A functional scripting language.
☆18Updated 2 months ago
Alternatives and similar repositories for ipso:
Users that are interested in ipso are comparing it to the libraries listed below
- Liquid Types implementation for Rust☆29Updated 2 years ago
- A TOML parser for Idris 2☆15Updated 8 months ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- ☆11Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- A toy dependent typed language.☆28Updated 3 weeks ago
- ☆19Updated 4 months ago
- ☆15Updated last year
- dependent type theory experiment☆25Updated last year
- Patience diff and longest increasing subsequence☆12Updated last year
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- Package manager for Idris☆35Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Command line interface library in Idris☆31Updated 7 months ago
- ☆21Updated 2 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- 🪆 A Staged Type Theory☆35Updated last year
- Lua backend for Idris 2☆27Updated 2 years ago
- Dependent hash maps☆14Updated 9 months ago
- IDE support for the functional logic programming language Curry☆30Updated this week
- Data frames for Idris 2☆21Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆19Updated last year
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- Edit is a monad for rewriting things.☆23Updated 4 years ago