himikof / typed-lojbanView external linksLinks
An experimental typing of Lojban grammar, in Haskell
☆13Jun 20, 2013Updated 12 years ago
Alternatives and similar repositories for typed-lojban
Users that are interested in typed-lojban are comparing it to the libraries listed below
Sorting:
- lojban parser☆24Aug 16, 2014Updated 11 years ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- A Nintendo DS emulator☆13Jun 18, 2023Updated 2 years ago
- Forth system for M68K machines, origin: http://hardcode.de/us/index.html☆21Jul 22, 2019Updated 6 years ago
- N64 emulator in Rust☆18Nov 8, 2024Updated last year
- Development ressources for Old World Macintosh (68k and NuBus PPC) and a few related things…☆25Sep 24, 2025Updated 4 months ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- Brainfuck formalized in Coq☆31Mar 29, 2022Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Composable Concurrent Computation Done Right☆30Jan 3, 2023Updated 3 years ago
- GoNative project: formal machines models in Coq☆36Aug 3, 2017Updated 8 years ago
- a Java VM implemented in Forth☆41Apr 27, 2012Updated 13 years ago
- zmifanva - Lojban ↔ English Machine Translation Engine☆38Nov 21, 2022Updated 3 years ago
- multi platform game engine☆11Sep 1, 2025Updated 5 months ago
- NES emulator in OCaml☆43Jul 21, 2023Updated 2 years ago
- Assembler for a 1 bit processor made around a ROM chip☆39Jan 21, 2024Updated 2 years ago
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- Verilog implementation of MC68851 Memory Management Unit☆13Feb 26, 2018Updated 7 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 8 months ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Sep 8, 2015Updated 10 years ago
- A higher-order effect system where the sky's the limit☆91Jun 15, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 4 years ago
- Coq library for tactics, basic definitions, sets, maps☆51Updated this week
- Haskell driver for ClickHouse☆10Jun 15, 2021Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- A language-agnostic JSON-encoded instruction-by-instruction test suite for the 68000.☆11May 14, 2024Updated last year
- https://github.com/lynnpepin/reso made in rust☆15Feb 23, 2022Updated 3 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated last year
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- For "Functional legacy - how to incorporate ZIO in your legacy services" talk☆10Dec 2, 2020Updated 5 years ago
- Mirror the Mac SE video over VGA☆11Jul 14, 2023Updated 2 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆12Nov 17, 2022Updated 3 years ago
- Frege interface to Android☆14Sep 16, 2015Updated 10 years ago