-
simple-html-invoice-template Public
Forked from sparksuite/simple-html-invoice-templateA modern, clean, and very simple responsive HTML invoice template
HTML MIT License UpdatedJan 9, 2026 -
-
-
staged Public
A formalization of the logic underlying Heifer
-
-
codemirror-vim Public
Forked from replit/codemirror-vimVim keybindings for CM6
JavaScript MIT License UpdatedDec 31, 2025 -
-
-
IxFree Public
Forked from ppolesiuk/IxFreeA Coq library with shallow embedding of step-indexed domain specific logic
Rocq Prover MIT License UpdatedNov 6, 2025 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedAug 15, 2025 -
-
cdf-program-logics Public
Forked from xavierleroy/cdf-program-logicsCompanion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq UpdatedSep 19, 2024 -
coar Public
Forked from hiroshi-unno/coarCollection of Automated Reasoners
OCaml Apache License 2.0 UpdatedAug 14, 2024 -
-
-
-
-
cameleer Public
Forked from ocaml-gospel/cameleerA Deductive Verification Tool for OCaml Programs
OCaml MIT License UpdatedJan 26, 2024 -
FiraCode Public
Forked from tonsky/FiraCodeFree monospaced font with programming ligatures
Clojure SIL Open Font License 1.1 UpdatedJan 4, 2024 -
tlaplus Public
Forked from tlaplus/tlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
-
mouseover-minesweeper Public
Forked from amyngyn/minesweeperNew controls for Minesweeper
JavaScript UpdatedAug 15, 2023 -
hugo-bearblog Public archive
Forked from janraasch/hugo-bearblog🧸 A Hugo theme based on »Bear Blog«. Free, no-nonsense, super-fast blogging. This theme now includes a dark color scheme to support dark mode 🦉 ⬛️!
HTML MIT License UpdatedAug 10, 2023 -
-
-
-
-
committer Public
Forked from vadiminshakov/committerTwo-phase (2PC) and three-phase (3PC) protocols implementaion in Golang
Go Apache License 2.0 UpdatedFeb 17, 2023 -
{{ message }}