Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.
☆80Feb 19, 2026Updated 8 months ago
Alternatives and similar repositories for aith
Users that are interested in aith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Closey programming language☆14Jul 20, 2021Updated 5 years ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆19May 8, 2026Updated 5 months ago
- A declarative concatenative programming language☆176Feb 20, 2026Updated 8 months ago
- A toy dependent typed language.☆51Oct 23, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 3 years ago
- A dependent type theory with user defined data types☆48Oct 1, 2021Updated 5 years ago
- A fast functional language based on two level type theory☆393Jan 6, 2023Updated 3 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A base library for Agda for regular programming☆10Mar 24, 2026Updated 7 months ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- The Hazy Haskell Compiler☆66Updated this week
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago
- A monadic approach to static analysis following the methodology of AAM☆19Oct 31, 2015Updated 10 years 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.
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆73Jul 20, 2026Updated 3 months ago
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆14Dec 29, 2025Updated 10 months ago
- Dependent type checker using normalisation by evaluation☆277Sep 5, 2024Updated 2 years ago
- A C library for displaying informative, clean and readable errors☆25Mar 21, 2024Updated 2 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆102Apr 26, 2023Updated 3 years ago
- A Small & Interesting Programming Language.☆19Sep 22, 2022Updated 4 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 5 years ago
- Compile JS into LLVM IR - JavaScript Static Analysis Tool☆41Dec 30, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The Riff programming language☆21Jul 12, 2023Updated 3 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- A Fast C and Python like Programming Language that puts the Developer first. WIP☆39Apr 17, 2023Updated 3 years ago
- The Curly programming language (now in Rust!)☆31May 19, 2021Updated 5 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 7 years ago
- An experimental programming language that's made to be powerful, productive, and predictable☆149Mar 26, 2026Updated 7 months ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆235Jan 22, 2024Updated 2 years ago
- Programming language / calculator for natural sciences☆13Aug 4, 2025Updated last year
- 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.
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆397Oct 23, 2023Updated 3 years ago
- Type-Level Programming in Rust☆30Dec 29, 2021Updated 4 years ago
- An ML-like functional programming language☆350Oct 17, 2021Updated 5 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated last year
- Deeply nested, multiple key-type maps.☆10Sep 27, 2026Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year