Giters
aramya (thamugadi)

thamugadi

Geek Repo

104

followers

275

following

737

stars

Location:Morocco

Home Page:https://aramya.neocities.org/

Twitter:@thmgdi

Github PK Tool:Github PK Tool

aramya's starred repositories

mazeppa

A modern supercompiler for call-by-value functional languages

Language:OCamlLicense:MITStargazers:362Issues:0Issues:0

fwrun

boot nds firmware dumps on nds/dsi/3ds

Language:CStargazers:19Issues:0Issues:0

cosmopolitan

build-once run-anywhere c library

Language:CLicense:ISCStargazers:17640Issues:0Issues:0

utrl

Unnamed Term Rewriting Language (Haskell, 2024)

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:0Issues:0

PIC-CNT64

A modern replacement for the Nintendo 64's NUS-CNT serial communication chip.

Language:AssemblyLicense:GPL-3.0Stargazers:26Issues:0Issues:0

cwextab

CodeWarrior exception table decoder

Language:RustStargazers:4Issues:0Issues:0

plover

An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.

Language:HaskellLicense:MITStargazers:6Issues:0Issues:0

lancet

surgical precision JIT compilers

Language:ScalaLicense:AGPL-3.0Stargazers:120Issues:0Issues:0

continuation

Continuation shenanigans in Rust

Language:RustLicense:MITStargazers:7Issues:0Issues:0

nqcc

A compiler for a tiny (but growing!) subset of C, written in OCaml.

Language:OCamlLicense:MITStargazers:273Issues:0Issues:0

k23

Experimental WASM Microkernel Operating System

Language:RustStargazers:221Issues:0Issues:0

Coq-BB5

Language:CoqLicense:MITStargazers:146Issues:0Issues:0

future-semantics

Language:RacketStargazers:3Issues:0Issues:0

animate-lean-proofs

tool for turning Lean proofs into Blender animations

Language:LeanLicense:Apache-2.0Stargazers:30Issues:0Issues:0

Chip8-Coq

Chip8 Emulator implemented in Coq

Language:CoqStargazers:1Issues:0Issues:0

Iota

LLVM to Common Lisp transpiler.

Language:CStargazers:259Issues:0Issues:0

elfdude

a small & primitive elf32 packer.

Language:AssemblyStargazers:7Issues:0Issues:0

rsp-ruination

N64 RSP torture test

Language:CStargazers:17Issues:0Issues:0

n64_corruption_bug

A repository demonstrating what appears to be a hardware bug on Nintendo 64

Stargazers:6Issues:0Issues:0

lambda-calculus

Denotational Semantics of the Untyped Lambda Calculus

Language:CoqLicense:MITStargazers:16Issues:0Issues:0

minilisp

A readable lisp in less than 1k lines of C

Language:CStargazers:1445Issues:0Issues:0

rv

32-bit RISC-V CPU in ~800 lines of C89

Language:CLicense:MITStargazers:601Issues:0Issues:0

mpl

A Henkin-style completeness proof for the modal logic S5

Language:LeanLicense:Apache-2.0Stargazers:13Issues:0Issues:0

comp-gen

Automatically generate a compiler using equality saturation

Language:RustLicense:MITStargazers:15Issues:0Issues:0

min-caml

moved from https://sourceforge.net/p/min-caml/code/

Language:OCamlLicense:NOASSERTIONStargazers:481Issues:0Issues:0

m2c

A MIPS and PowerPC decompiler.

Language:AssemblyLicense:GPL-3.0Stargazers:391Issues:0Issues:0

aurora

A source-level GameCube & Wii compatibility layer

Language:C++License:MITStargazers:54Issues:0Issues:0

c-mera

Next-level syntax for C-like languages :)

Language:Common LispLicense:NOASSERTIONStargazers:402Issues:0Issues:0

szsHaxx

Injects arbitrary code into Mario Kart Wii.

Language:PythonLicense:GPL-2.0Stargazers:68Issues:0Issues:0

asm6502

6502 Assembler and NES toys in Common Lisp

Language:Common LispLicense:MITStargazers:123Issues:0Issues:0