GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
- java
- aot
- compiler
- graalvm
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
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
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