Lists (22)
anki
2 repositories
api
everything rest/openapi/web4 repositories
awtrix
1 repository
backup
restic mostly ?2 repositories
bio
haskell
1 repository
iot
5 repositories
japanese
49 repositories
jmdict
6 repositories
llm
12 repositories
lua
4 repositories
machinelearning
52 repositories
mpd
3 repositories
mptcp
1 repository
mpv
13 repositories
neovim
78 repositories
nix
54 repositories
sql
2 repositories
srs
spaced repetition3 repositories
tablet
12 repositories
tts
text to speech2 repositories
yazi
3 repositories
Stars
5
stars
written in OCaml
Clear filter
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 environmen…
magic-trace collects and displays high-resolution traces of what a process is doing
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Release snapshots of the Frama-C platform for source code analysis