Tools for MIL, a Monadic Intermediate Language
☆23Oct 24, 2025Updated 4 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 6 months ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 5 months ago
- ☆16Mar 22, 2025Updated 11 months ago
- Crypto support for fs2☆16Apr 29, 2021Updated 4 years 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
- Functional AWS API implementation for Scala☆24Sep 22, 2018Updated 7 years ago
- ☆20Aug 31, 2022Updated 3 years ago
- Optics experimentation for Dotty☆32Oct 24, 2021Updated 4 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 4 months ago
- Macros to scrap ZIO boilerplate☆32Mar 15, 2020Updated 5 years ago
- Mod merging tool for The Witcher 3: Wild Hunt [C++, Qt5]☆12Nov 4, 2016Updated 9 years 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
- Simple framework for symbolic manipulation☆11Nov 6, 2024Updated last year
- A case-insensitive string for Scala☆38Feb 28, 2026Updated last week
- Unofficial Knowledge Base for Novel AI☆16Nov 8, 2025Updated 3 months ago
- ☆11Oct 17, 2016Updated 9 years ago
- Vulkan-lite GPU API☆33Jun 28, 2024Updated last year
- Automatically exported from code.google.com/p/exercisesheet☆11Dec 17, 2015Updated 10 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Platform-agnostic Rust driver for the APDS9960 digital proximity, ambient light, RGB and gesture sensor.☆10Aug 17, 2022Updated 3 years ago
- my java class parser to parse classfile. In fact, it's a component of my wind_jvm.☆13Dec 18, 2022Updated 3 years ago
- ☆10Aug 30, 2025Updated 6 months ago
- Maven Indexer Examples☆27Oct 13, 2020Updated 5 years ago
- example racing game for coderdojo☆15Sep 21, 2020Updated 5 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Nov 24, 2025Updated 3 months ago
- Executes a SPIR-V shader/kernel, producing results for given inputs.☆16Feb 21, 2026Updated last week
- Incorporates external dependencies into HTML file using data: URI scheme☆21Nov 17, 2011Updated 14 years ago
- ☆10Aug 12, 2023Updated 2 years ago
- ☆13May 3, 2012Updated 13 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Generate static parallel computation graph from DSL at compile time☆11Nov 6, 2024Updated last year
- ☆12May 22, 2022Updated 3 years ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago