LightAndLight / ipso
A functional scripting language.
☆16Updated 8 months ago
Related projects: ⓘ
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- ☆19Updated last month
- A simple prolog implementation in Rust☆26Updated 3 years ago
- IDE support for the functional logic language Curry☆26Updated last month
- Malfunction backend for Idris 2☆12Updated 2 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Liquid Types implementation for Rust☆26Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- A TOML parser for Idris 2☆15Updated 2 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 6 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆18Updated 8 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆65Updated this week
- Package manager for Idris☆35Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 5 months ago
- Command line interface library in Idris☆30Updated last month
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆23Updated 2 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- Typed λ-calculus in Rust☆28Updated last year
- Lift enum variants to the type-level.☆30Updated 3 years ago
- Agda grammar for tree-sitter☆32Updated 6 months ago
- An experimental language server for SomewhatML☆23Updated last year
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- ☆10Updated this week
- Haskell bindings to binaryen.☆14Updated 3 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year