A statically-typed compiled language defined by a simple grammar
☆24Apr 28, 2026Updated 2 months ago
Alternatives and similar repositories for ullage
Users that are interested in ullage are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple and clear embedabble programming language☆19Apr 3, 2023Updated 3 years ago
- The tiny terminal text editor. Fighting bloatware - 600loc, linked statically with minilib linux32bit: 8k, osx x64: 20k☆20Sep 23, 2019Updated 6 years ago
- An Experimental LISP☆20Jul 14, 2022Updated 4 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆62Feb 28, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 9 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 3 years ago
- speedy web micro-framework using sled, io_uring and SIMD☆13Feb 8, 2020Updated 6 years ago
- A minimal language inspired by Lisp and Haskell☆21Jul 5, 2020Updated 6 years ago
- The Riptide Programming Language: Shell scripting redesigned.☆32Aug 20, 2024Updated last year
- Jazz - register-based virtual machine and programming language☆27Jan 14, 2019Updated 7 years ago
- Ninja is a small build system with a focus on speed. Rust language port.☆19Nov 11, 2017Updated 8 years ago
- A Haskell derived programming language for systems development.☆13Sep 18, 2018Updated 7 years ago
- Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]☆29May 19, 2019Updated 7 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.
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61May 12, 2022Updated 4 years ago
- R7RS expander☆17Aug 18, 2021Updated 4 years ago
- Rust library and CLI tool for reading Alpine Linux’s apk package format and APKBUILD☆10Jan 19, 2026Updated 6 months ago
- A Scheme compiler that targets .NET written in F#☆33Jul 18, 2026Updated last week
- ☆23Apr 9, 2016Updated 10 years ago
- A functional programming language designed for concurrency and failure☆44Sep 6, 2022Updated 3 years ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Aug 8, 2020Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆24Jan 14, 2024Updated 2 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 Mamba programming language, because we care about safety☆90Apr 15, 2026Updated 3 months ago
- C VM for Jack Language☆12Apr 24, 2015Updated 11 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- A small Lisp dialect that serves me as a test bed for programming language features.☆14Sep 16, 2024Updated last year
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- A programmable programming language☆23Updated this week
- ☆13Jan 7, 2026Updated 6 months ago
- A rust interpreter for the Lox language☆26Apr 18, 2020Updated 6 years ago
- A port of Scala's Stream[+A] to C#.☆13Oct 7, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A (nearly) pure functional programming language.☆25Jan 11, 2019Updated 7 years ago
- ☆12May 9, 2015Updated 11 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Apr 13, 2022Updated 4 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- quick c☆36Mar 19, 2022Updated 4 years ago
- A LOLCODE interpreter written in Rust☆16Aug 1, 2018Updated 7 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago