One instruction set, every CPU!
β60Jul 13, 2026Updated last week
Alternatives and similar repositories for well
Users that are interested in well 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 micro C compiler for x86-64β26May 30, 2026Updated last month
- π€ Just a programming language with a silly nameβ15Oct 30, 2022Updated 3 years ago
- Prover9 is a resolution and paramodulation-based theorem prover for first-order and equational logic, and Mace4 searches for finite countβ¦β15Jul 13, 2026Updated last week
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading languageβ16Sep 16, 2021Updated 4 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germainβ33Jan 12, 2025Updated last year
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A programming language written for fun!β98Jan 1, 2024Updated 2 years ago
- MIDA (Metadata Injection for Data Augmentation) is a lightweight C library that adds metadata tracking to C native structures.β27Oct 13, 2025Updated 9 months ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resourcesβ17Jul 31, 2024Updated last year
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizationsβ12Jan 9, 2015Updated 11 years ago
- ESP32 Discord Bot examples (ESP-IDF)β31Aug 16, 2022Updated 3 years ago
- A lightweight single-header open-addressing hashtable implementation in ANSI Cβ16May 1, 2025Updated last year
- A signature parser for hikari's command handler tanjun.β10Aug 31, 2022Updated 3 years ago
- A general purpose programming languageβ221May 16, 2026Updated 2 months ago
- Collected source code to various old DOS raycaster-based FPSes.β14Feb 23, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Bite is a dynamically typed programming language. Embedded in C#β50Feb 13, 2026Updated 5 months ago
- An esoteric language based on overlapping tree-like structuresβ10Oct 16, 2021Updated 4 years ago
- A modern general programming language implemented in Java. Offering fast array handling while coding in imperative syntax.β26May 11, 2026Updated 2 months ago
- A lightweight modular C logging libraryβ37May 8, 2025Updated last year
- π A smol functional language that targets other languagesβ65Jan 17, 2024Updated 2 years ago
- HindleyβMilner Type inferencing in Cβ48Aug 11, 2022Updated 3 years ago
- Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.β80Feb 19, 2026Updated 5 months ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)β10Nov 27, 2021Updated 4 years ago
- A 65C02 Assembly eDSL in Haskellβ18May 31, 2018Updated 8 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.
- β25Oct 5, 2023Updated 2 years ago
- perl web interface to OpenBSD's sqlportsβ10Apr 22, 2026Updated 3 months ago
- β107Jul 18, 2026Updated last week
- Pocket sized programsβ63Dec 6, 2025Updated 7 months ago
- A portable, embeddable implementation of the BASIC programming language.β16Feb 21, 2013Updated 13 years ago
- Discord RPC/Rich Presence client implementation in Nimβ16Mar 23, 2024Updated 2 years ago
- C green threads libraryβ11Aug 8, 2024Updated last year
- A two-dimensional programming language from 1994.β12Oct 2, 2016Updated 9 years ago
- A modern library for building production-grade compilersβ17Feb 18, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Prolog in AWKβ17Mar 9, 2017Updated 9 years ago
- Solve 24 puzzles using zero-aware pattern databasesβ15Nov 19, 2024Updated last year
- For exploring http://www.ioccc.org/2012/tromp/hint.htmlβ36Aug 2, 2017Updated 8 years ago
- A Python interpreter for the huh? programming language.β10Mar 1, 2018Updated 8 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scaβ¦β63Feb 19, 2026Updated 5 months ago
- You are trapped on an infinite tile floor along with murderous marblesβ15Apr 29, 2026Updated 2 months ago
- An algorithm for fast 2D pattern-matching with wildcards.β20Jul 30, 2022Updated 3 years ago