Compiler Backend for LSTS (Typed Macro Assembler)
☆36Updated 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 6 months ago
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated 11 months ago
- A modern Haskell debugger☆31May 1, 2025Updated 10 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- JSON parser in c☆16Apr 1, 2025Updated 11 months ago
- Session types framework with support of protocol pipelining.☆16Feb 18, 2026Updated last week
- An interpreted array programming language☆16Jan 23, 2026Updated last month
- operation system graphics version 4.16☆22Dec 27, 2022Updated 3 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 4 months ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 8 years ago
- Piet interpreter and retargetable compiler written in Rust using LLVM as a backend☆17Dec 19, 2025Updated 2 months ago
- Access unicode character database☆18Sep 16, 2025Updated 5 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- 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
- An optimizing compiler for a large subset of the C programming language☆26Aug 30, 2025Updated 6 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 4 months ago
- Zelda Classic is a 2D game engine and editor for creating custom Legend of Zelda quests.☆30Dec 14, 2024Updated last year
- A bookmarklet to export a list of your unredeemed Humble Bundle keys into a downloaded formatted JSON file.☆20Feb 1, 2026Updated last month
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆23Jun 1, 2024Updated last year
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆74Feb 18, 2026Updated last week
- unicode security guidelines for identifiers☆34Dec 2, 2025Updated 2 months ago
- K&R C compiler obtained from Research UNIX v5, v6 and v7☆32Nov 8, 2018Updated 7 years ago
- A header-only portability and boilerplate library for C☆27Sep 22, 2025Updated 5 months ago
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- A bignum library for C.☆33Jul 9, 2024Updated last year
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Owl's Differential Equation Solvers☆35Dec 15, 2021Updated 4 years ago
- Environment protocol for Common Lisp compilers.☆33Jan 6, 2024Updated 2 years ago
- 🐫🎮 OCaml Game Engine☆44Mar 20, 2025Updated 11 months ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated 3 weeks ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆67Feb 20, 2026Updated last week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆41Updated this week
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 2 weeks ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 4 months ago
- My personal site.☆10Updated this week
- bayesPop R package☆11Feb 17, 2026Updated last week