LightAndLight / ipsoLinks
A functional scripting language.
☆18Updated 4 months ago
Alternatives and similar repositories for ipso
Users that are interested in ipso are comparing it to the libraries listed below
Sorting:
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A TOML parser for Idris 2☆17Updated 11 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Patience diff and longest increasing subsequence☆12Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- ☆13Updated 2 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- ☆19Updated last week
- Lua backend for Idris 2☆28Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- A toy dependent typed language.☆28Updated last week
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- dependent type theory experiment☆26Updated last year
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- ⚖️ Trial Data Type☆20Updated 2 months ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- Data frames for Idris 2☆22Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated last month