Lists (15)
BOT
Bots for various purposes2 repositories
Compiler
Anything from CFG to FSM/NFS to parser to compiler43 repositories
DB
Database10 repositories
DevOps
2 repositories
DOCS
14 repositories
Emacs
Emacs packages or relevant that are inspiring and stimulating106 repositories
FONTS
Fonts for programming, UI, UX, etc.9 repositories
GNU/Linux
Usually source code of software (CLI) for GNU/Linux (or Unix-like) operating systems65 repositories
Lisp
Projects built with lisp and/or its dialects113 repositories
MISC
32 repositories
PL
Programming Languages25 repositories
Ricing
dotfiles, configs, any kind of ricing24 repositories
T/GUI
TUI, GUI, UI3 repositories
VCS
Version Control System or RCS, and stuff about them2 repositories
Web
Technologies used in Web: server, client, SPA, frameworks and so on.72 repositories
Starred repositories
4
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…
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
Proof checker for natural deduction in propositional logic