Stars
Simple disassembler of Sony Playstation executable (MIPS R3000A instruction set).
Language learning app similar to https://lingq.com/, but open source and free written in Typescript and Rust. Supports English and Chinese.
The PCSX-Redux project is a collection of tools, research, hardware design, and libraries aiming at development and reverse engineering on the PlayStation 1. The core product itself, PCSX-Redux, is…
The Helium compiler, Helium-as-a-library, and the texthint interpreter
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Experimental implementation of Cubical Type Theory
A high-performance, zero-overhead, extensible Python compiler using LLVM
An out-of-tree MLIR dialect template.
💫 A curated list of awesome resources for the Haskell Cabal build tool.
Material for the quantinuum internal winterschool
Scripting language focused on processing tabular data.
A full-featured immersion language learning suite for mobile.
The cuteness implementation of a dependently typed language.
being an operating system for typechecking processes
A language parsing quasiquoter for Haskell based heavily on ANTLR4.
FPGA based guitar effect station.
Minimal implementations for dependent type checking and elaboration