Lists (13)
Starred repositories
17
results
for forked starred repositories
Clear filter
buyukakyuz / rustmm
Forked from rust-lang/rustRust without the borrow checker
https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
ElifUskuplu / 2LTT-Agda
Forked from UnivalencePrinciple/2LTT-AgdaFormalization of 2LTT in Agda
ChefKissInc / Inferno
Forked from TrungNguyen1909/qemu-t8030Emulating Apple Silicon devices.
vellvm / ticl
Forked from vellvm/ctreesLibrary for structural temporal logic proofs over coinductive, free monads with effects and choice.
xoreaxeaxeax / movfuscator
Forked from Battelle/movfuscatorThe single instruction C compiler
palkeo / panoramix
Forked from eveem-org/panoramixEthereum decompiler
bassjacob / ocaml-cats
Forked from jonsterling/ocaml-preludeCategory theory for OCaml
🕹️ DOOM rendered via console.log() in a web browser.
zachhalle / hotc
Forked from jozefg/hotcNotes on higher-order typed compilation. Probably wrong
CAIMEOX / Phoenix
Forked from Sandertv/gophertunnelMinecraft bedrock World Editor.
Iceraven Browser
Cabbagec / termux-ohmyzsh
Forked from 4679/oh-my-termuxColorize your termux! Oh-my-zsh included!