π A sweet, functional programming language that is robust, minimalistic, and expressive.
β343Apr 9, 2026Updated last month
Alternatives and similar repositories for candy
Users that are interested in candy 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 byte code specification and a JIT-compiler written in Assembly.β14Jan 9, 2025Updated last year
- A document file format that allows writers to focus on the content solely and empowers readers to adapt the appearance to their devices aβ¦β10Apr 20, 2023Updated 3 years ago
- A small, statically typed, low-level programming language.β25Sep 8, 2025Updated 8 months ago
- A simple programming language for researching different ways of program execution and compilationβ35Oct 1, 2024Updated last year
- The parallel, concurrent, and functional programming language for scalable software developmentβ470May 12, 2026Updated last week
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A dynamic programming language designed to feel familiar and be fun to use, written in Rustβ11Sep 10, 2022Updated 3 years ago
- ReactiveML: a programming language for implementing interactive systems.β20Nov 14, 2022Updated 3 years ago
- A safe, easy systems languageβ2,233Updated this week
- Django/Wagtail page serving myhpi.deβ13Mar 31, 2026Updated last month
- sikoβ14Jan 6, 2024Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,160Mar 23, 2025Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.htβ17Mar 4, 2024Updated 2 years ago
- Systems language with linear types and capability-based security.β1,502Jul 28, 2025Updated 9 months ago
- β11Sep 16, 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 work-in-progess programming language modeled after Ada and C++β25Dec 11, 2022Updated 3 years ago
- High performance compiled language with simplicity and safety.β48Mar 31, 2024Updated 2 years ago
- A small extensible programming language designed for concise expression with little code.β1,091Apr 22, 2026Updated 3 weeks ago
- A language for building concurrent software with confidenceβ1,277Updated this week
- Smalltalk like programming languageβ71Apr 30, 2026Updated 3 weeks ago
- Performance comparisons between various virtual interpreter implementation strategiesβ49Apr 6, 2024Updated 2 years ago
- A simple, expressive, embeddable programming languageβ870Updated this week
- The Riptide Programming Language: Shell scripting redesigned.β32Aug 20, 2024Updated last year
- Source code for the Mun language and runtime.β2,116Apr 30, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An experimental programming language for ergonomic software verificationβ16May 11, 2026Updated last week
- A playground for programming language ideas.β22May 3, 2026Updated 2 weeks ago
- Glide is an interpreted javascript VM written entirely in safe rust.β16Sep 25, 2023Updated 2 years ago
- A functional, content-addressable programming language.β456Aug 8, 2025Updated 9 months ago
- A programming language.β13Aug 4, 2025Updated 9 months ago
- A statically typed Lisp like scripting programming language for Rust.β234Apr 28, 2026Updated 3 weeks ago
- Fegeya Gretea (aka green tea), new generation programming language.β13Mar 13, 2022Updated 4 years ago
- A type-safe, pure-Dart in-memory database with amazing developer experience.β14May 12, 2022Updated 4 years ago
- A static, type inferred and embeddable language written in Rust.β3,400Dec 6, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Byeol Programming language.β10May 13, 2026Updated last week
- Koka language compiler and interpreterβ3,908Updated this week
- The interpreter for Rhovas, a programming language for API design and enforcement.β36Aug 6, 2025Updated 9 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.β16Apr 3, 2023Updated 3 years ago
- π« Toy ML-like Imperative Programming Language (WIP)β10Apr 15, 2021Updated 5 years ago
- A Compiler for the Popr Languageβ257Jan 7, 2021Updated 5 years ago
- A modern proof languageβ3,742Jan 22, 2025Updated last year