Fir programming language
☆100May 11, 2026Updated 5 months ago
Alternatives and similar repositories for fir
Users that are interested in fir 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 Haskell 2010 type checker☆17Feb 25, 2024Updated 2 years ago
- A broken problem☆24Updated this week
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆120Oct 26, 2026Updated last week
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆71Nov 17, 2025Updated 11 months ago
- A MinCaml compiler implemented in Rust☆45Mar 3, 2026Updated 7 months ago
- Pure functional programming with whole-program mutability inference☆109Updated this week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- A toy dependent typed language.☆51Oct 23, 2026Updated last week
- ☆17Apr 4, 2024Updated 2 years ago
- A systems programming language with lexical effect handlers☆20Oct 21, 2026Updated last week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆819Oct 19, 2026Updated 2 weeks ago
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 7 years ago
- The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic…☆61Updated this week
- ☆24Mar 24, 2026Updated 7 months ago
- eXecutable Wiki for Kakoune!☆15Feb 6, 2026Updated 8 months ago
- Small powerful micro scripting language <1K SLOC☆65Oct 5, 2025Updated last year
- A delightful programming language for writing reliable software☆19Oct 24, 2024Updated 2 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- Ordo: A minimalist language with row polymorphism☆86Feb 3, 2026Updated 8 months ago
- Mirror of https://codeberg.org/tjammer/schmu☆29Oct 10, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆82Jan 20, 2022Updated 4 years ago
- Learn to code with Wipple.☆37Oct 25, 2026Updated last week
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆24Oct 8, 2026Updated 3 weeks ago
- Systems language with linear types and capability-based security.☆1,602Jul 28, 2025Updated last year
- A garden of small programming language implementations 🪴☆349Updated this week
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆32Apr 13, 2015Updated 11 years ago
- The Hazy Haskell Compiler☆66Updated this week
- 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 MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆229Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆620May 16, 2021Updated 5 years ago
- An ML-like functional programming language☆351Oct 17, 2021Updated 5 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆235Jan 22, 2024Updated 2 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Smalltalk like programming language☆95Updated this week
- A pretty-printing library for Rust with a focus on speed and compactness.☆10Feb 26, 2026Updated 8 months ago