LightAndLight / ipsoLinks
A functional scripting language.
☆17Updated 7 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
- Polymorphic guarded λ-calculus☆20Updated last month
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- A TOML parser for Idris 2☆17Updated last year
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- Type-Level Programming in Rust☆28Updated 3 years ago
- ☆14Updated 2 years ago
- ⚖️ Trial Data Type☆21Updated 2 months ago
- ☆16Updated 2 years ago
- Command line interface library in Idris☆31Updated last year
- ☆19Updated 3 months ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Package manager for Idris☆37Updated 3 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Refinement types + dependent types = ❤️☆59Updated 3 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 5 years ago
- dependent type theory experiment☆26Updated last year
- Haskell implementation of the KDL Document Language☆24Updated last week
- a functional programming language with algebraic effects and handlers☆82Updated 6 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Label dependent dependent session types☆16Updated last year
- Lua backend for Idris 2☆28Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Typed λ-calculus in Rust☆29Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 3 months ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Linearizability Hoare Logic☆14Updated 5 months ago