Repository Index

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

• java
• aot
• compiler
• graalvm

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.

• python-compiler
• python
• nuitka
• programming

An open, sub-millisecond, single-executable Firebase alternative with type-safe APIs, built-in WebAssembly runtime, realtime subscriptions, auth, MCP and admin UI built on Rust, SQLite (PG) & Wasmtime.

• authentication
• database
• rest-api
• rust

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

Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.

• java
• commandline
• parser
• ansi-colors

Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed. Now in Python!

• markdown
• markdown-parser
• markdown-it

Install `wasm-pack` by downloading the executable

• wasm-pack
• wasm
• webassembly
• github-action

Install `Trunk` by downloading the executable

• trunk
• yew
• seed
• webassembly

Install `wasm-bindgen` by downloading the executable

• rust
• wasm-bindgen
• wasm
• yew

A Single Library Parser to extract meta information,static analysis and detect macros within the files.

• malware-analysis
• pdf-parsing
• pe-executable
• office-files