🌌 The Plasm programming language compiler
☆25Sep 14, 2026Updated last month
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:
- Rust interface for cvc5☆17Updated this week
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- A language for certifying specification☆15Sep 27, 2023Updated 3 years ago
- A programming language for data stream analytics.☆26Sep 19, 2025Updated last year
- Polar programming language 🐻❄️☆16Feb 24, 2025Updated last year
- 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.
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 years ago
- ☆10Jul 29, 2024Updated 2 years ago
- OSDev Project☆25Oct 10, 2026Updated last week
- Operating system thats sucks less☆49Updated this week
- 🎨 Gleam syntax highlighting with Highlight.js☆16Jun 14, 2026Updated 4 months ago
- 💰 A curated list of hidden AI platforms and APIs offering massive free token allowances, daily credits, and generous free tiers for deve…☆101Sep 30, 2026Updated 2 weeks 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
- ☆13Apr 23, 2018Updated 8 years ago
- 🦎 A friendly, lightweight programming language for math and games☆23Aug 7, 2026Updated 2 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.
- Easily edit Minecraft worlds with a simple, fast and powerful API.☆15Aug 20, 2025Updated last year
- 🦀 Toy Language based on LLVM☆27Jun 22, 2025Updated last year
- ☆16Aug 2, 2022Updated 4 years ago
- ☆25Aug 5, 2026Updated 2 months ago
- Local inference you can prove. A single-binary GGUF engine in C: serves, scores, and trains LoRA through the quantized weights it deploys…☆28Updated this week
- 📦 Work with Gleam's package interfaces☆12Sep 14, 2026Updated last month
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- A zed theme inspired by Gleam's colours☆14Jul 16, 2024Updated 2 years ago
- Python-like syntax for Rust-like performance☆16Mar 17, 2023Updated 3 years 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.
- The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less lan…☆41Updated this week
- A base library for Agda for regular programming☆10Mar 24, 2026Updated 6 months ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- GHC plugin for hlint☆12Oct 4, 2023Updated 3 years ago
- A statically-typed programming language optimized for LLM code generation. Compiles to Rust and WebAssembly.☆35Updated this week
- Romance Meter Extension for SillyTavern☆15Aug 4, 2025Updated last year
- Split integers into digits, blazingly fast☆14Sep 27, 2026Updated 3 weeks ago
- 📅 Production-ready scheduler with async, multithreading and multiprocessing support for Python☆22Jul 6, 2024Updated 2 years ago
- Новый язык программирования для универсальной разработки.☆10Jul 23, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Radiocarbon calibration command line tool and Haskell module☆11Updated this week
- Beeg float library, a Rust port of Fabrice Bellard's libbf☆20Sep 29, 2026Updated 2 weeks ago
- ☆11Jul 9, 2024Updated 2 years ago
- Offline AI music recommender & recogniser. Local song ID + smart playlists (CLAP + FAISS).☆16Aug 14, 2025Updated last year
- 🩺 A library for compiler diagnostics☆56Jun 19, 2026Updated 4 months ago
- A Tigerbeetle database client library for Haskell☆13Apr 8, 2026Updated 6 months ago
- A parser AWDL action and data frames.☆22Jun 21, 2025Updated last year