1.VERT-sh / VERT
The next-generation file converter. Open source, fully local* and free forever.
+38 stars
from 16,179 · score 3.66
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
5 repositories by Attention Score · Oct 30, 2026 – Nov 5, 2026 (UTC)
2.Nuitka / Nuitka
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
- compiler
- packaging-tool
- +1 more
+14 stars
from 15,211 · score 2.71
3.dom96 / KillSwitch
An esoteric programming language built to break LLMs and coding agents.
+6 stars
from 183 · score 1.95
4.OCamlPro / owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
- c
- constraints
- +13 more
+1 stars
from 329 · score 0.69
5.statebox / idris-ct
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
+1 stars
from 272 · score 0.69