habit-lang / mil-toolsView external linksLinks
Tools for MIL, a Monadic Intermediate Language
☆23Oct 24, 2025Updated 3 months ago
Alternatives and similar repositories for mil-tools
Users that are interested in mil-tools are comparing it to the libraries listed below
Sorting:
- ☆40Aug 5, 2024Updated last year
- prototype postgres back-end for ocs☆15Jun 2, 2022Updated 3 years ago
- Rust port of the DirectX 12 Graphics Samples☆12Aug 20, 2025Updated 5 months ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 4 months ago
- ☆16Mar 22, 2025Updated 10 months ago
- Scala micro-library providing utilities for capturing implicits.☆18Sep 30, 2021Updated 4 years ago
- Virtual DOM for scala.☆19Mar 15, 2018Updated 7 years ago
- ☆20Aug 31, 2022Updated 3 years ago
- Functional AWS API implementation for Scala☆24Sep 22, 2018Updated 7 years ago
- an (almost) procedural game of life implementation in C# written to be easy to understand by beginners☆10Dec 22, 2014Updated 11 years ago
- Linux open by handle based VFS implementation for nfs4j☆13Oct 24, 2025Updated 3 months ago
- A CTF challenge generator.☆11Nov 29, 2023Updated 2 years ago
- Mod merging tool for The Witcher 3: Wild Hunt [C++, Qt5]☆12Nov 4, 2016Updated 9 years ago
- Unofficial Knowledge Base for Novel AI☆15Nov 8, 2025Updated 3 months ago
- A video game framework for haskell☆53Aug 27, 2015Updated 10 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- Automatically exported from code.google.com/p/exercisesheet☆11Dec 17, 2015Updated 10 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- Breact: A python library for single page web apps☆13May 13, 2021Updated 4 years ago
- ☆11Oct 17, 2016Updated 9 years ago
- ☆10Aug 30, 2025Updated 5 months ago
- Simple framework for symbolic manipulation☆11Nov 6, 2024Updated last year
- A case-insensitive string for Scala☆38Feb 4, 2026Updated last week
- Tsar programming language☆16Dec 22, 2019Updated 6 years ago
- ☆12May 22, 2022Updated 3 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 9 years ago
- Fake data generator☆11Jul 29, 2020Updated 5 years ago
- ☆10Nov 21, 2025Updated 2 months ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Aug 4, 2025Updated 6 months ago
- ROM 2.4b6☆10Nov 22, 2017Updated 8 years ago
- For when you really, really just want to know that your config changed☆14Jun 17, 2023Updated 2 years ago
- a lisp interpreter written in Go☆14Jun 24, 2020Updated 5 years ago
- Generic programming experiment in Scala☆19Sep 27, 2021Updated 4 years ago
- A puzzle game that uses Real-Time Ray Tracing (RTX) for gameplay and rendering. Implemented in Vulkan 1.2 using VK_KHR_ray_tracing, based…☆12Dec 22, 2021Updated 4 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- FalkorDB port to Rust☆12Jul 29, 2025Updated 6 months ago
- fast utf-8 character sets☆14Mar 3, 2025Updated 11 months ago
- A Tetris Clone (tm), written in pure & safe Rust. Online mode almost working.☆10Jun 17, 2020Updated 5 years ago