Highlights
- Pro
-
-
-
-
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 -
-
-
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 UpdatedMay 12, 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
OCaml Other UpdatedSep 19, 2023 -
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 -
-
ppx_deriving_unparse Public
Are you tired of writing pretty-printers?!
-
literate-calc-mode.el Public
Forked from sulami/literate-calc-mode.el🧮 Literate programming for M-x calc
Emacs Lisp GNU General Public License v3.0 UpdatedJan 9, 2023 -
CommunityModules Public
Forked from tlaplus/CommunityModulesTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA MIT License UpdatedNov 18, 2022 -
-
jsondiff Public
Forked from MyLifeLabs/jsondiffJSON sensitive diffing
OCaml Other UpdatedOct 26, 2022 -
random-generator Public
Forked from gasche/random-generatorA small OCaml library to randomly generate values
OCaml Other UpdatedOct 11, 2022 -
ppx_record_update Public
Syntax for updates to nested records