The Wyvern programming language.
☆565May 13, 2026Updated last week
Alternatives and similar repositories for wyvern
Users that are interested in wyvern are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Glide programming language☆21Apr 7, 2023Updated 3 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Apr 13, 2020Updated 6 years ago
- The Felix Programming Language☆816Sep 23, 2024Updated last year
- The Whiley Compiler (WyC)☆228Feb 9, 2023Updated 3 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Dec 11, 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 Compiler for the Popr Language☆257Jan 7, 2021Updated 5 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- The programming language☆43Aug 21, 2015Updated 10 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- Cone Programming Language☆557Dec 12, 2022Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.☆79Feb 19, 2026Updated 3 months ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆623May 16, 2021Updated 5 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.
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- The Clay programming language☆407May 18, 2021Updated 5 years ago
- Plasma Programming Language☆167Feb 2, 2026Updated 3 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Feb 19, 2026Updated 3 months ago
- A static strongly typed object oriented programming language with focus on composition☆23Aug 25, 2020Updated 5 years ago
- ELENA is a general-purpose language with late binding. It is multi-paradigm, combining features of functional and object-oriented program…☆241Updated this week
- Never: statically typed, embeddable functional programming language.☆463May 12, 2024Updated 2 years ago
- The Flix Programming Language☆2,651Updated this week
- The Slate programming language☆150Oct 15, 2023Updated 2 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.
- A statically typed concatenative systems programming language.☆1,161Apr 10, 2023Updated 3 years ago
- The Egel Programming Language☆84Apr 8, 2026Updated last month
- Library-based Language Extensibility☆39Sep 2, 2014Updated 11 years ago
- Clever programming language☆48Nov 6, 2015Updated 10 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- A fast functional language based on two level type theory☆393Jan 6, 2023Updated 3 years ago
- A programming language where the syntax and semantics are mutable at runtime☆170May 11, 2012Updated 14 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25May 22, 2020Updated 5 years ago
- The Ur/Web programming language☆841May 28, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A dynamic language inspired by Python and E.☆80Dec 24, 2020Updated 5 years ago
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 5 years ago
- syn·di·cate: a language for interactive programs☆161Dec 18, 2025Updated 5 months ago
- Higher-order FRP compiler☆16Oct 20, 2021Updated 4 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆71Jan 2, 2011Updated 15 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 2 years ago