A high level assembler.
☆59Feb 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for well
Users that are interested in well are comparing it to the libraries listed below
Sorting:
- Edina - A simple stack-oriented compiled programming language.☆13Jun 8, 2023Updated 2 years ago
- A window overlay written in Rust☆14Apr 28, 2021Updated 4 years ago
- Glide programming language☆21Apr 7, 2023Updated 2 years ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- a steady descent into madness☆17Jun 22, 2025Updated 8 months ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- A signature parser for hikari's command handler tanjun.☆10Aug 31, 2022Updated 3 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- A rust port of https://github.com/charmbracelet/lipgloss☆20Dec 15, 2025Updated 2 months ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Collected source code to various old DOS raycaster-based FPSes.☆14Feb 23, 2017Updated 9 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- PThread implementation for Nintendo 3DS Horizon OS targets. Keep in mind that Horizon OS uses a cooperative, and not preemptive, threadin…☆13May 17, 2024Updated last year
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.☆16Feb 4, 2021Updated 5 years ago
- A compiler for an Ada-like language☆32May 5, 2025Updated 9 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 3 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- ✨ The Open-Source WorldServer☆12Feb 12, 2026Updated 2 weeks ago
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- A Python interpreter for the huh? programming language.☆10Mar 1, 2018Updated 8 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- Take notes from you terminal.☆14Jul 4, 2022Updated 3 years ago
- Bike game☆14Aug 18, 2024Updated last year
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- IRC bot in COBOL-74☆38Feb 15, 2024Updated 2 years ago
- A small and lightweight implementation of dotnet runtime☆33Dec 23, 2025Updated 2 months ago
- Hindley–Milner Type inferencing in C☆48Aug 11, 2022Updated 3 years ago
- A programming language written for fun!☆96Jan 1, 2024Updated 2 years ago
- A Gopher server in Lua☆16Jan 4, 2026Updated last month
- A LISP-like functional programming language suitable for code golf☆13Jan 29, 2018Updated 8 years ago