A Z80 assembler embedded in Haskell
☆17Sep 8, 2023Updated 2 years ago
Alternatives and similar repositories for z80
Users that are interested in z80 are comparing it to the libraries listed below
Sorting:
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 years ago
- Minimalistic, functional, JSON-formatted programming language☆20Mar 22, 2017Updated 8 years ago
- My Advent of Code solutions☆23Dec 18, 2025Updated 2 months ago
- A system to amalgamate any features you want into any language you need☆26Sep 3, 2022Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- (খোল) - A minimalistic shell written in C☆22Apr 24, 2020Updated 5 years ago
- ThinLisp is an open source Lisp to C translator.☆33Apr 24, 2015Updated 10 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 5 years ago
- A list of awesome libraries for BQN.☆32Sep 11, 2025Updated 5 months ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- A tiny event emitter in C☆18Nov 21, 2014Updated 11 years ago
- Python interface to online UC Davis student services☆11Sep 20, 2016Updated 9 years ago
- Library for extracting fields from Sigtran TCAP/INAP messages☆11Feb 17, 2026Updated last week
- Config files for my GitHub profile.☆13Apr 22, 2022Updated 3 years ago
- All the worlds currencies.☆13May 29, 2022Updated 3 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- Stub requests for browser tests☆13Feb 11, 2025Updated last year
- ☆10Oct 25, 2015Updated 10 years ago
- An open source 6502 compatible modern BASIC☆11May 13, 2021Updated 4 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- ☆11Jun 24, 2021Updated 4 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- "you are your dotfiles"☆11Oct 10, 2025Updated 4 months ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- CLOG Plugin for Plotly.js☆12Oct 10, 2024Updated last year
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- ☆12Nov 5, 2024Updated last year
- ☆12Jan 5, 2015Updated 11 years ago
- ☆30Jun 7, 2014Updated 11 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 Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago