1.VERT-sh / VERT
The next-generation file converter. Open source, fully local* and free forever.
+954 stars
from 15,255 · score 6.86
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
8 repositories by Attention Score · Aug 7, 2026 – Nov 4, 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
+218 stars
from 15,007 · score 5.39
3.OCamlPro / owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
- c
- constraints
- +13 more
+13 stars
from 316 · score 2.64
+7 stars
from 1,765 · score 2.08
5.InMDev / Modern-LaTeX-Editor
A hybrid LaTeX code + rich-text editor. It seamlessly syncs a rich-text What You See Is What You Get (WYSIWYG) view with raw LaTeX source code, featuring real-time KaTeX math preview and one-click PDF export via online compilers.
+3 stars
from 38 · score 1.39
6.georgebuilds / anneal
Machine learning compiler in Go. A from-scratch tinygrad port: graph-rewrite IR, autodiff as a compiler pass, zero-CGO WebGPU backend.
- autograd
- compiler
- deep-learning
- golang
- gpu
- machine-learning
- +7 more
+3 stars
from 31 · score 1.39
7.tarpit-collective / caneArchived
A small MIDI sequencer DSL designed around vectors and euclidean rhythms
+2 stars
from 109 · score 1.10
8.statebox / idris-ct
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
+1 stars
from 272 · score 0.69