Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 89 · Most stars

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

UPX - the Ultimate Packer for eXecutables

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

A wrapper executable that can run any executable as a Windows service, in a permissive license.

  • windows-service
  • windows-service-wrapper
  • nuget
  • dotnet

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.

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.

Creates standalone executables from Python scripts with the same performance as the original script. It is cross-platform and should work on any platform that Python runs on.

  • freeze
  • cx-freeze
  • python
  • freezing-python-scripts