We have moved: https://gitlab.anu.edu.au/mu/mu-spec
☆26Jun 17, 2016Updated 9 years ago
Alternatives and similar repositories for microvm-spec
Users that are interested in microvm-spec are comparing it to the libraries listed below
Sorting:
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Jun 30, 2016Updated 9 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆16Sep 19, 2018Updated 7 years ago
- The Brick language spec☆30Jan 30, 2018Updated 8 years ago
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- High-level VM (like LLVM's little brother)☆39Mar 24, 2015Updated 10 years ago
- LuaTruffle, an implementation of Lua on the JVM using Truffle☆57Feb 16, 2015Updated 11 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Apr 7, 2022Updated 3 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- ☆12May 12, 2024Updated last year
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- libtelnet-esque parser for rust.☆12Dec 1, 2023Updated 2 years ago
- Google's Java documentation generation tool. Static page generator which uses templates and has the possibility for versioning.☆11Apr 24, 2018Updated 7 years ago
- Simulate print CSS media using JavaScript☆13Nov 11, 2017Updated 8 years ago
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆12Jun 13, 2014Updated 11 years ago
- Galaxy is a lightweight software deployment and management tool. We use it at Ning to manage the Java cores and Apache httpd instances th…☆21Sep 11, 2011Updated 14 years ago
- BigDataBench Spark workloads☆11Jul 15, 2016Updated 9 years ago
- FIX/FAST decode/encode facility☆17Mar 5, 2017Updated 8 years ago
- The Bangra Programming Language (github mirror)☆38Jan 4, 2018Updated 8 years ago
- Parallel programs with OpenMPI☆10Apr 1, 2015Updated 10 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- Java Client to report exceptions to Honeybadger.io☆10Nov 11, 2025Updated 3 months ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- ☆12May 9, 2015Updated 10 years ago
- Footstep planning and Trajectory Optimization☆10Apr 12, 2015Updated 10 years ago
- A Clojure Ref/STM plugin for JRuby☆35Jan 20, 2012Updated 14 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- ☆12Nov 20, 2025Updated 3 months ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- ☆11Mar 20, 2025Updated 11 months ago
- A Java blockchain database implementation☆10Feb 12, 2016Updated 10 years ago
- Example code for tracing IRQs in Linux kernel☆12Oct 21, 2016Updated 9 years ago
- ☆14Oct 30, 2024Updated last year
- sbt plugin to allow dependency resolution and artifact publishing for gitlab☆10Jul 28, 2024Updated last year
- Invert (transpose) a GFM Markdown Table☆15Feb 20, 2024Updated 2 years ago