Very Naive MIPS CPU using Clash
☆31Oct 17, 2021Updated 5 years ago
Alternatives and similar repositories for VNMCC
Users that are interested in VNMCC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆55Apr 10, 2024Updated 2 years ago
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago
- ☆12Aug 19, 2021Updated 5 years ago
- Experimental type-checker for internally parametric type theory☆33Mar 27, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated last year
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated 2 years ago
- RowScript programming language, making a better browser world☆127Jun 3, 2026Updated 5 months ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 3 years ago
- A toy IO library for Arend☆19Feb 12, 2021Updated 5 years ago
- Arty FPGA board starter project☆12Sep 13, 2022Updated 4 years ago
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- Rules for performing tasks related to FPGA development in Bazel.☆12Aug 12, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- RUst way for Reuse Analysis☆11Apr 1, 2024Updated 2 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 4 years ago
- Internalizing intensional type theory☆12Jun 20, 2015Updated 11 years ago
- Suggesting substitutions that don't quite fit.☆10Sep 28, 2018Updated 8 years ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆26Feb 7, 2025Updated last year
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆48Jul 14, 2024Updated 2 years ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Resume (template) written in Typst☆11Aug 13, 2026Updated 2 months ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated 2 weeks ago
- 🌊 A React UI library☆13Feb 2, 2022Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- Prolog plugin for Intellij IDEA☆28Mar 5, 2023Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated 2 years ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Apr 21, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Distributions of Agda executable compiled into WebAssembly.☆25Apr 4, 2026Updated 7 months ago
- A free, open-source Online Judge alternative. Coding Magic.☆13Aug 10, 2023Updated 3 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- antifunext☆41Jun 27, 2024Updated 2 years ago
- Solutions for online code challenges. Don't be evil.☆15Jan 5, 2019Updated 7 years ago
- high-performance cubical evaluation☆90Sep 22, 2026Updated last month
- ☆30Updated this week