A minimal language inspired by Lisp and Haskell
☆20Jul 5, 2020Updated 5 years ago
Alternatives and similar repositories for m
Users that are interested in m are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- An interpreted programming language☆23Jun 13, 2025Updated 10 months ago
- ☆11Feb 9, 2026Updated 2 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- ☆15Sep 28, 2022Updated 3 years 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 dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 3 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Apr 17, 2026Updated last week
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated last year
- Algorithmically solve Slay the Spire☆19Oct 7, 2022Updated 3 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18May 19, 2023Updated 2 years ago
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 years ago
- The Stroscot Programming Language☆12Jan 15, 2024Updated 2 years 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 search engine for humans☆19Nov 6, 2022Updated 3 years ago
- Decentralized Software Organisms☆18May 16, 2022Updated 3 years ago
- A small Lisp dialect that serves me as a test bed for programming language features.☆14Sep 16, 2024Updated last year
- A No-JavaScript Tailwind runner in Haskell☆19Feb 18, 2025Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- small stack machine☆16Jan 27, 2026Updated 3 months ago
- A programmable programming language☆23Apr 22, 2026Updated last week
- Rust-like language compiling directly to WebAssembly☆15Sep 14, 2025Updated 7 months ago
- An experimental programming language for ergonomic software verification☆16Apr 24, 2026Updated last week
- 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.
- Let's build a highly opinionated but fully-featured web framework in PureScript☆20Nov 10, 2021Updated 4 years ago
- Opinionated purescript wrapper for the aws sdk☆19Feb 4, 2022Updated 4 years ago
- A Helix theme inspired by Zenbones & Alabaster. Uses radix colors☆28Sep 15, 2024Updated last year
- Single Page Web Applications in Idris☆27Apr 22, 2026Updated last week
- Grotsky Programming Language☆20Dec 1, 2025Updated 5 months ago
- A platform for the testing and optimisation of trading algorithms.☆24Jul 30, 2019Updated 6 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Oct 29, 2020Updated 5 years ago
- WebAssembly eXtended Text Format☆13Sep 20, 2022Updated 3 years ago
- deiny is web app for web app. under development☆16Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Jul 12, 2022Updated 3 years ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Neovim plugin to help with markdown tables☆12May 29, 2022Updated 3 years ago
- GNOME JavaScript bindings for PureScript☆21Jan 15, 2024Updated 2 years ago
- carML - a yummy and sweet ML dialect☆19Jan 6, 2022Updated 4 years ago