Repository Index

Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

• microcontroller
• tinygo
• llvm
• wasm

A small, fast, JavaScript-based JavaScript parser

HVM1 (2022): a massively parallel, optimal functional runtime in Rust

JSPatch bridge Objective-C and Javascript using the Objective-C runtime. You can call any Objective-C class and method in JavaScript by just including a small engine. JSPatch is generally used to hotfix iOS App.

• jspatch
• hotfix
• jsbridge
• objc-runtime

A Small C Compiler

A small, fast, and embeddable programming language based on Lua with a gradual type system.

• lua
• programming-language
• scripting-language

TinyXML2 is a simple, small, efficient, C++ XML parser that can be easily integrated into other programs.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

• reverse-engineering
• malware-analysis
• binary-analysis
• parser

Android virtual machine and deobfuscator

• deobfuscation
• java
• optimization
• android

Android Reverse-Engineering Workbench for VS Code

• apktool
• apk-decompiler
• apk-editor
• smali

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

• java
• jvm
• eclipse-openj9
• compiler

TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.

• c
• virtual-machine

Todo application with ASP.NET Core Blazor WASM, Minimal APIs and Authentication

• aspnetcore
• authentication
• dotnet-core
• jwt

Minimalistic C++/Python GUI library for OpenGL, GLES2/3, Metal, and WebAssembly/WebGL

Simple C compiler

• c-compiler
• compiler
• dos
• x86

Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

• pharo
• reflective
• language
• tools

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

GraphQL Router / API Gateway framework written in Golang, focussing on correctness, extensibility, and high-performance. Supports Federation v1 & v2, Subscriptions & more.

• graphql
• golang
• lexer
• parser

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

Mathematical Components

• coq
• ssreflect
• mathcomp
• coq-formalization

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

Linker/Compiler/Tool detector for Windows, Linux and MacOS.

• detect
• reverse-engineering
• signature
• malware-analysis