Stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
Rust library for indexing and quickly searching large pretraining corpora
A pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer
Determines the MIME type of a file by traversing a filetype tree.
a 2D rigid body physics engine for the web ▲● ■
Ray Casting engine built using p5.js to render all the graphics. It attempts to simulate a pseudo 3D environment from a 2D map.
An advanced ray-caster engine written in JavaScript from scratch, with zero dependencies
Small raycaster graphics engine in javascript
Wraps the main DirectX and Direct3D DLLs. It allows you to intercept calls to DirectX and Direct3D interface functions so that you can log API calls or you can add your own code into the game, such…
Dinput8 wrapper meant to fix specific games
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Open Source Identity and Access Management For Modern Applications and Services
A new p7zip fork with additional codecs and improvements (forked from https://sourceforge.net/projects/sevenzip/ AND https://sourceforge.net/projects/p7zip/).
A statically typed scripting language that transpile into POSIX sh
A clone of the classic QBasic Gorillas written in the Zig programming language
GrammaTech / soot
Forked from soot-oss/sootSoot - A Java optimization framework
GrammaTech / LIEF
Forked from lief-project/LIEFLIEF - Library to Instrument Executable Formats
GrammaTech / keystone
Forked from keystone-engine/keystoneKeystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
GrammaTech / capstone
Forked from capstone-engine/capstoneCapstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
Intermediate Representation for Binary analysis and transformation