-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedAug 7, 2023 -
verilator Public
Forked from verilator/verilatorVerilator open-source SystemVerilog simulator and lint system
C++ GNU Lesser General Public License v3.0 UpdatedJul 27, 2023 -
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedJul 21, 2023 -
templates Public
Forked from rocq-community/templatesTemplates for configuration files and scripts useful for maintaining Coq projects
Mustache The Unlicense UpdatedJul 21, 2023 -
raft Public
Forked from canonical/raftC implementation of the Raft consensus protocol
C Other UpdatedJul 21, 2023 -
manifesto Public
Forked from rocq-community/manifestoDocumentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other UpdatedJul 21, 2023 -
mawled Public
Forked from tomhrr/mawledTiling window manager
BSD 3-Clause "New" or "Revised" License UpdatedJul 21, 2023 -
dale Public
Forked from tomhrr/daleLisp-flavoured C
C++ BSD 3-Clause "New" or "Revised" License UpdatedJul 21, 2023 -
oce Public
Forked from tpaviot/oceOpen CASCADE Community Edition: patches/improvements/experiments contributed by users over the official Open CASCADE library.
C++ GNU Lesser General Public License v2.1 UpdatedJul 21, 2023 -
zorns-lemma Public
Forked from rocq-community/zorns-lemmaThis library develops some basic set theory. The main purpose I had in writing it was as support for the Topology library.
Coq Other UpdatedJul 21, 2023 -
-
prometheus_smart_exporter Public
Forked from cloudandheat/prometheus_smart_exporterConfigurable S.M.A.R.T. metric exporter for Prometheus
Python GNU General Public License v3.0 UpdatedApr 27, 2020 -
accord Public
Forked from collie/accordA high-performance coordination service for write-intensive workloads.
C UpdatedAug 9, 2019
{{ message }}