Compiler Backend for LSTS (Typed Macro Assembler)
☆35Mar 18, 2026Updated this week
Alternatives and similar repositories for lambda-mountain
Users that are interested in lambda-mountain are comparing it to the libraries listed below
Sorting:
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Aug 2, 2025Updated 7 months ago
- ARCHIVED; will be rewritten eventually☆12Sep 12, 2025Updated 6 months ago
- An interpreted array programming language☆16Jan 23, 2026Updated last month
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated last year
- ⛽ Fuel-powered, statically-typed, compiled programming language.☆19Jan 8, 2026Updated 2 months ago
- Piet interpreter and retargetable compiler written in Rust using LLVM as a backend☆17Dec 19, 2025Updated 3 months ago
- A compiled, statically typed, C-like, data oriented language with a focus on performance and low-level optimization using GPU acceleratio…☆20Oct 4, 2025Updated 5 months ago
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Mar 12, 2026Updated last week
- A modern Haskell debugger☆31May 1, 2025Updated 10 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- operation system graphics version 4.16☆23Dec 27, 2022Updated 3 years ago
- Session types framework with support of protocol pipelining.☆16Mar 13, 2026Updated last week
- Access unicode character database☆18Sep 16, 2025Updated 6 months ago
- Zelda Classic is a 2D game engine and editor for creating custom Legend of Zelda quests.☆32Dec 14, 2024Updated last year
- ☆10Oct 7, 2024Updated last year
- Use GRUB to boot a small operating system running in paged virtual memory.☆14Dec 18, 2010Updated 15 years ago
- ☆12Jul 27, 2023Updated 2 years ago
- ☆16Nov 17, 2012Updated 13 years ago
- a simearth clone☆13Jun 25, 2020Updated 5 years ago
- uckermit: μC‑Kermit (μCKermit, micro‑C‑Kermit, microkermit) is a minimalistic Kermit implementation for small, embedded, or resource cons…☆20Nov 28, 2025Updated 3 months ago
- Multitasking OS for the Commander x16☆15Feb 1, 2026Updated last month
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- JSON parser in c☆16Apr 1, 2025Updated 11 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Mar 10, 2026Updated last week
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- ☆11May 8, 2019Updated 6 years ago
- nostr relay tester☆19Mar 13, 2026Updated last week
- A JVM Bytecode Manipulation Framework inspired by ASM.☆21Oct 24, 2023Updated 2 years ago
- Interactively evaluate regions, preceding variable definitions and quoted sexpressions☆10Dec 29, 2017Updated 8 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- Lambda Calculus compiler targeting x86, written in Racket☆11Jun 14, 2020Updated 5 years ago
- Emacs minor mode to hide sensitive information in buffers (passwords)☆12Jul 6, 2022Updated 3 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- Compiler☆14Jun 29, 2024Updated last year
- Mirror of https://codeberg.org/krisbalintona/emacs-config☆11Mar 15, 2026Updated last week
- A programming language with effect handler☆36Updated this week
- library for Boolean algebra for jvm☆14Sep 21, 2025Updated 6 months ago
- fast & easy way to upload files via telnet to esp8266 running nodemcu☆10Jan 18, 2023Updated 3 years ago
- ☆24Jul 23, 2024Updated last year