LightAndLight / ipso
A functional scripting language.
☆18Updated last month
Alternatives and similar repositories for ipso:
Users that are interested in ipso are comparing it to the libraries listed below
- Patience diff and longest increasing subsequence☆12Updated last year
- Liquid Types implementation for Rust☆29Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- ☆11Updated last year
- small programming language. pls be gentle.☆39Updated last month
- ⚖️ Trial Data Type☆20Updated 2 weeks ago
- A TOML parser for Idris 2☆15Updated 8 months ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 2 months ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- ☆15Updated last year
- dependent type theory experiment☆25Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Dependent hash maps☆14Updated 9 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- Statically typed, high-level functional programming language.☆16Updated 3 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- ☆19Updated 4 months ago
- ☆38Updated this week
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Type inference algorithms for functional programming languages☆10Updated last year
- Label dependent dependent session types☆15Updated 10 months ago
- ☆16Updated 3 years ago
- Command line interface library in Idris☆31Updated 7 months ago
- Small async library for idris2, inspired by purescript-aff☆8Updated 3 years ago
- Haskell bindings to binaryen.☆14Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago