SchrodingerZhu / VNMCCView external linksLinks
Very Naive MIPS CPU using Clash
☆29Oct 17, 2021Updated 4 years ago
Alternatives and similar repositories for VNMCC
Users that are interested in VNMCC are comparing it to the libraries listed below
Sorting:
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 3 years ago
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Distributions of Agda executable compiled into WebAssembly.☆25Nov 9, 2025Updated 3 months ago
- A formalized proof of a version of the initiality conjecture☆45Sep 10, 2020Updated 5 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 10 months ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last week
- My Agda blog/lab/playground☆12Updated this week
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- ☆11Nov 2, 2021Updated 4 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- A free, open-source Online Judge alternative. Coding Magic.☆13Aug 10, 2023Updated 2 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆55Apr 10, 2024Updated last year
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 2 months ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated last month
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- ☆12Aug 19, 2021Updated 4 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 10 months ago