thamugadi

sail-riscv

Sail RISC-V model

lem

Lem semantic definition language

Toki_Pona-Parser

Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, grammar check and ambiguity check of Toki Pona sentences.

awesome-recursion-schemes

Resources for learning and using recursion schemes.

MicroHs

Haskell implemented with combinators

mini

MINI (MINI is not IOS) is a open source replacement for Nintendo/BroadOn's IOS (from git.bootmii.org)

skyeye-starlet

Very hacky Starlet emulator. Here be dragons, this was never meant to be released.

gekko-gc-emu

Gekko Gamecube Emulator

yosys

Yosys Open SYnthesis Suite

felix

Agda category theory library for denotational design

hardcaml

Hardcaml is an OCaml library for designing hardware.

lambda-mu-mu-calculus

Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

rocq-gameboy

CPUmodels

GoNative project: formal machines models in Coq

decomp-toolkit

A GameCube & Wii decompilation toolkit

JStillery

Advanced JavaScript Deobfuscation via Partial Evaluation

n64sym

N64 Symbol Identification Tool

sv2v

SystemVerilog to Verilog conversion

ArmbootNow

Basic utility to launch an ARM binary from the SD card of a Wii.

dependent-types-in-haskell

Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup

dolsdk2001

A decompilation of the 5-23-2001 version of the Dolphin SDK Libraries.

ultralib

Reverse engineering of libultra

lng-fds

Famicom Disk System port of LUnix Next Generation

psxe

Multi-platform Sony PlayStation emulator written in C

koala

A systems programming language with a rich type system

language-garden

A garden of small programming language implementations 🪴

some

Existential type.

libreultra

A matching decompilation of libultra by a couple of clever folks.

oot-gc

Decompilation of the Gamecube Emulator for Ocarina of Time (JP-CE)

pureikyubu

Nintendo GameCube Emulator (WIP)