🌌 The Plasm programming language compiler
☆26Oct 19, 2026Updated 3 weeks ago
Alternatives and similar repositories for plasm
Users that are interested in plasm 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 Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- Zeolite is a statically-typed, general-purpose programming language.☆21Apr 6, 2026Updated 7 months ago
- Rust interface for cvc5☆17Oct 13, 2026Updated 3 weeks ago
- A language for certifying specification☆15Sep 27, 2023Updated 3 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆16Oct 11, 2026Updated last month
- 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.
- Code repository for our work on Quantum Pi☆12Jun 4, 2024Updated 2 years ago
- Polar programming language 🐻❄️☆16Feb 24, 2025Updated last year
- A programming language for data stream analytics.☆26Sep 19, 2025Updated last year
- The Hylo programming language☆91Updated this week
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆24Oct 8, 2026Updated last month
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 years ago
- A fast version of gau.☆13Aug 1, 2026Updated 3 months ago
- Undo/Redo history data structures for the Odin programming language☆12Jan 9, 2025Updated last year
- A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.☆17Jul 28, 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.
- Run commands concurrently with rust and cargo☆10Jan 20, 2023Updated 3 years ago
- OSDev Project☆26Updated this week
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆27Updated this week
- ☆12Feb 2, 2026Updated 9 months ago
- The event continuation language☆35Updated this week
- A scheme implementation with QT and higher maths support.☆24Updated this week
- A Logical Relation for Martin-Löf Type Theory in Agda☆23Oct 12, 2026Updated 3 weeks ago
- A modern configuration and serialization language with variables, expressions, and dynamic runtime evaluation☆14Nov 11, 2025Updated last year
- Information-cell theory paper and POC C++ implementation☆11Updated this 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.
- A Gleam implementation of the Lox language☆10Jun 17, 2023Updated 3 years ago
- Send files or text instantly and securely. SafeBeam generates a one-time OTP valid for 10 minutes only. No sign-up, no device limits — wo…☆14May 15, 2026Updated 5 months ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- Python-like syntax for Rust-like performance☆16Mar 17, 2023Updated 3 years ago
- A TypeScript framework for building stateless MCP servers — deploy to serverless and edge.☆22Updated this week
- The Write-Once, Validate-Anywhere Schema Library.☆13Oct 9, 2026Updated last month
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 4 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Oct 14, 2026Updated 3 weeks ago
- Новый язык программирования для универсальной разработки.☆10Jul 23, 2023Updated 3 years ago
- 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.
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- 🎨 Gleam syntax highlighting with Highlight.js☆16Jun 14, 2026Updated 4 months ago
- ☆13Oct 28, 2026Updated 2 weeks ago
- Generate a simple static report for DNS blocklists or see previous reports of requested blocklists.☆17Nov 24, 2025Updated 11 months ago
- GHC plugin for hlint☆12Oct 4, 2023Updated 3 years ago
- Print regular expressions with syntax highlighting in the terminal. Useful for debugging, visually inspecting and understanding complex r…☆10Jan 30, 2026Updated 9 months ago
- PlantUML native image with GraalVM☆12Oct 27, 2026Updated 2 weeks ago
Are these results useful?