Compiler Backend for LSTS (Typed Macro Assembler)
☆40Aug 22, 2026Updated 2 months ago
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 6 months ago
- ARCHIVED; will be rewritten eventually☆11Sep 12, 2025Updated last year
- An interpreted array programming language☆16Jan 23, 2026Updated 9 months ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A toy OOP language with lexer, parser, codegen and runtime☆15Aug 7, 2023Updated 3 years ago
- ⛽ Fuel-powered, statically-typed, compiled programming language.☆16Jan 8, 2026Updated 9 months ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Haskell binding to WasmEdge Runtime for hosting☆11Mar 27, 2026Updated 7 months ago
- A compiled, statically typed, C-like, data oriented language with a focus on performance and low-level optimization using GPU acceleratio…☆21Oct 4, 2025Updated last year
- A modern Haskell debugger☆31May 1, 2025Updated last year
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated 2 months 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Жизненный путь (cv): опыт, проекты.☆14Sep 27, 2026Updated last month
- ☆11May 8, 2019Updated 7 years ago
- Access unicode character database☆18Sep 16, 2026Updated last month
- 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 4 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…☆84Aug 29, 2026Updated 2 months ago
- A memory alike game for your terminal☆14Oct 8, 2020Updated 6 years ago
- ☆11Oct 7, 2024Updated 2 years ago
- A small header-only json library in C.☆27Oct 3, 2021Updated 5 years ago
- ☆15Nov 17, 2012Updated 13 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.
- Assembler library for Kotlin☆43Oct 23, 2019Updated 7 years ago
- Compiler☆14Jun 29, 2024Updated 2 years ago
- ☆38Aug 21, 2025Updated last year
- Examine x86-64 machine code to find suboptimal encodings and sequences of instructions☆17Sep 27, 2026Updated last month
- ☆11Aug 3, 2020Updated 6 years ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- Implementation of RMC atomics for C/C++☆10Jul 4, 2022Updated 4 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- a hobby operating system written in C☆10Mar 10, 2011Updated 15 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.
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 7 years ago
- Interactively evaluate regions, preceding variable definitions and quoted sexpressions☆10Dec 29, 2017Updated 8 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- Verified OxCaml for real projects and real performance.☆18Sep 8, 2026Updated last month
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆20Jun 24, 2026Updated 4 months ago
- A BASIC compiler for the Propeller microcontroller.☆12Aug 13, 2018Updated 8 years ago
- library for Boolean algebra for jvm☆13Sep 21, 2025Updated last year