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:
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- lojban parser☆24Aug 16, 2014Updated 11 years ago
- A Nintendo DS emulator☆13Jun 18, 2023Updated 2 years ago
- N64 emulator in Rust☆18Nov 8, 2024Updated last year
- Forth system for M68K machines, origin: http://hardcode.de/us/index.html☆21Jul 22, 2019Updated 6 years ago
- Development ressources for Old World Macintosh (68k and NuBus PPC) and a few related things…☆25Sep 24, 2025Updated 5 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☆37Aug 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 6 months ago
- NES emulator in OCaml☆43Jul 21, 2023Updated 2 years ago
- Assembler for a 1 bit processor made around a ROM chip☆40Jan 21, 2024Updated 2 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Sep 8, 2015Updated 10 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 4 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- Verilog implementation of MC68851 Memory Management Unit☆13Feb 26, 2018Updated 8 years ago
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- A higher-order effect system where the sky's the limit☆92Jun 15, 2022Updated 3 years ago
- Coq library for tactics, basic definitions, sets, maps☆52Updated this week
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Public feedback discussions and shared materials☆11Nov 20, 2025Updated 3 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Port of uCLinux for the Mackerel-68k☆12Oct 8, 2025Updated 5 months ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- https://github.com/lynnpepin/reso made in rust☆15Feb 23, 2022Updated 4 years ago
- A highly integrated, small form factor Motorola 68000 based computer featuring "COM" ports and an "ET"hernet controller, and associated b…☆16Oct 7, 2025Updated 5 months ago
- My Dutch steno theory and dictionary☆13Oct 19, 2025Updated 4 months ago
- Accompanying documentation that were used in the Dolwin development process☆11Updated this week
- YAML key viewer for Visual Studio Code☆10Jan 4, 2023Updated 3 years ago
- Piet language in Ruby☆13Nov 12, 2024Updated last year
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 2 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year