Pure functional programming with whole-program mutability inference
☆109Oct 29, 2026Updated this week
Alternatives and similar repositories for morphic
Users that are interested in morphic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆18Oct 26, 2025Updated last year
- Normalization by Evaluation for Martin-Löf Type Theory☆138Jun 5, 2024Updated 2 years ago
- Fir programming language☆100May 11, 2026Updated 5 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆51Mar 9, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Alternative algorithm for algebraic subtyping.☆178Oct 5, 2026Updated last month
- Match compilation algorithm in OCaml☆38Feb 24, 2025Updated last year
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.☆87Updated this week
- Staged compilation with dependent types☆189Oct 26, 2026Updated last week
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆36Updated this week
- An experimental markup language that respects document calculus.☆16Oct 20, 2026Updated 2 weeks ago
- MetaML and MetaOCaml bibliography☆106Aug 29, 2026Updated 2 months ago
- Eventually a practical 2-level TT-based compiler☆38Apr 17, 2026Updated 6 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 7 years ago
- Dependent type checker using normalisation by evaluation☆277Sep 5, 2024Updated 2 years ago
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- Koka language compiler and interpreter☆4,115Oct 27, 2026Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆480Updated this week
- A tiny language for teaching and experimenting with Refinement Types☆50Jun 22, 2021Updated 5 years ago
- GPU kernel verification with Pulse☆27Updated this week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆52Dec 16, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Updated this week
- Small core of Roc, for experiments☆26Dec 21, 2024Updated last year
- ☆35Updated this week
- CN separation logic refinement type system for C☆63Updated this week
- A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆30Oct 27, 2026Updated last week
- Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)☆12Sep 20, 2026Updated last month
- R6RS/R7RS Scheme implementation in Rust with JIT compilation☆36Updated this week
- A collaborative bibliography of papers related to property-based testing☆37Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated last year
- Prototype type inference engine☆209Jan 31, 2025Updated last year
- OCaml as a Tactic Language for the Rocq Prover☆22Oct 27, 2026Updated last week
- A deterministic parser with fused lexing☆79Jul 1, 2023Updated 3 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆227Jul 28, 2020Updated 6 years ago
- RUst way for Reuse Analysis☆11Apr 1, 2024Updated 2 years ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago