Lists (25)
<386 hardware
8x300
aviation
cas/comp
comp modeling
compiler
dcpu-16 0x10c game
drivers
elixir/erlang/beam
emulator/vm
fortran
fpga
game-dev
juno no modding
ksp 2 modding
math-comp
misc
neuro
panologic
phys
prolog
RE
recompilers
sim
sys
Stars
Implementations of SIMD instruction sets for systems which don't natively support them.
A tool for converting Xbox 360 shaders to HLSL.
An unofficial PC port of the Xbox 360 version of Sonic Unleashed created through the process of static recompilation.
Runtime for traditional ports or recompilations of N64 games.
Static recompilation of Majora's Mask (and soon Ocarina of Time) for PC (Windows/Linux/Mac)
Tool to statically recompile N64 games into native executables
(unmaintained) recompiling NES roms into native executables
A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:
Custom scripting language Compiler and VM written in C++11.
Simulation of the classic Pacman arcade game on a PanoLogic thin client.
Flashing Pano Logic thin clients without a programmer
Reverse Engineering of the Cisco HWIC-3G-CDMA PCB
Second Version of The GoBot Botnet, But more advanced.
Rust virtual machine and JIT compiler for eBPF programs
Library for building symbolically executable stack-based virtual machines
A True Instrumentable Binary Emulation Framework
Free and Open Source Reverse Engineering Platform powered by rizin
BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.
edb is a cross-platform AArch32/x86/x86-64 debugger.
A modern computer algebra library for Python and Rust.
Computer Algebra System in Javascript (Typescript)
Official repository of the FriCAS computer algebra system
sources for the Singular computer algebra system
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ
A new markup-based typesetting system that is powerful and easy to learn.