lukaszlew / call-by-need-in-rust
Simple implementation of call-by-need lazy lambda calculus in Rust.
☆15Updated 5 months ago
Related projects: ⓘ
- A functional scripting language.☆16Updated 8 months ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆18Updated 8 months ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- A cross-platform driver for Tauri in Haskell☆45Updated 2 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆23Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 5 years ago
- Provides a Refl encoding in Rust☆67Updated last year
- Reference counting with linear types☆28Updated 2 months ago
- Haskell-style monads in Rust.☆18Updated last year
- Typed λ-calculus in Rust☆28Updated last year
- The place for submitting new articles to the Serokell blog.☆15Updated 6 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆65Updated this week
- ☆10Updated this week
- Minimal Prolog implemented in Rust☆36Updated this week
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆12Updated 3 months ago
- Slides and handwritten notes on the course on models of programming languages☆48Updated 3 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 6 months ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Haskell bindings to binaryen.☆14Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Slides for PLISS 2019☆10Updated 5 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Liquid Types implementation for Rust☆26Updated last year
- Automatically generate a GraphQL API for an SQLite database☆12Updated 2 weeks ago
- Datalog with equality for rust☆49Updated 5 months ago