Compiler Backend for LSTS (Typed Macro Assembler)
☆40Aug 10, 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Apr 3, 2026Updated 4 months ago
- ARCHIVED; will be rewritten eventually☆12Sep 12, 2025Updated 11 months ago
- Simple and easy plus fun☆11Jun 27, 2024Updated 2 years ago
- Twitter's Reflection!☆14Jul 18, 2026Updated 3 weeks ago
- ☆14Jun 16, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An interpreted array programming language☆16Jan 23, 2026Updated 6 months ago
- This is a virtual cloth try on using AI☆22Jun 25, 2024Updated 2 years ago
- ⛽ Fuel-powered, statically-typed, compiled programming language.☆16Jan 8, 2026Updated 7 months ago
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated last year
- Manage terminal session commands with an ease!☆25Dec 1, 2023Updated 2 years ago
- read, write, memory-map, data-storage & RFID transaction SYSTEM.☆22Nov 2, 2023Updated 2 years ago
- Async Error Handling Middleware for ExpressJS with ESM/TypeScript support.☆26Jan 9, 2024Updated 2 years ago
- A toy OOP language with lexer, parser, codegen and runtime☆16Aug 7, 2023Updated 3 years ago
- Visualization of Haskell data structures☆16Feb 13, 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.
- Piet interpreter and retargetable compiler written in Rust using LLVM as a backend☆18Aug 3, 2026Updated last week
- A compiled, statically typed, C-like, data oriented language with a focus on performance and low-level optimization using GPU acceleratio…☆20Oct 4, 2025Updated 10 months ago
- A modern Haskell debugger☆31May 1, 2025Updated last year
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- Example project of using cabal 2.0`s foreign-library feature to build a haskell library that lets you call haskell code from C/C++.☆17Feb 22, 2020Updated 6 years ago
- Session types framework with support of protocol pipelining.☆16Aug 3, 2026Updated last week
- Access unicode character database☆18Jun 5, 2026Updated 2 months ago
- Use GRUB to boot a small operating system running in paged virtual memory.☆14Dec 18, 2010Updated 15 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆80Apr 25, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Hello everyone if you aren't aware of the popular minecraft mod called Mcheli built for 1.12.2 I have decompiled the mod to its sources a…☆12Sep 29, 2022Updated 3 years ago
- Compiler☆14Jun 29, 2024Updated 2 years ago
- A small header-only json library in C.☆27Oct 3, 2021Updated 4 years ago
- The Kiwi Programming Language 🥝☆40Jul 8, 2026Updated last month
- pure Rust implementation of RTIPC☆23Jul 24, 2026Updated 2 weeks ago
- Unicode security guidelines for identifiers, following TR39 (and TR31)☆35Updated this week
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- ☆10Jan 6, 2025Updated last year
- ☆11Apr 24, 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.
- library for Boolean algebra for jvm☆13Sep 21, 2025Updated 10 months ago
- Emacs minor mode to hide sensitive information in buffers (passwords)☆13Jul 6, 2022Updated 4 years ago
- nostr relay tester☆18Jun 14, 2026Updated last month
- An implementation of the Bussin esoteric language☆10Oct 2, 2024Updated last year
- Mirror of https://codeberg.org/krisbalintona/emacs-config☆12Jul 22, 2026Updated 3 weeks ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- Yet Another (actually non-)Relativistic Renderer☆12Apr 4, 2022Updated 4 years ago