-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
-
opam Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
-
-
QuickChick Public
Forked from QuickChick/QuickChickRandomized Property-Based Testing Plugin for Coq
Rocq Prover Other UpdatedJun 25, 2025 -
-
-
-
-
SubConv Public
Forked from SubConv/SubConvYet Another Subscription Converter for Clash
Python Mozilla Public License 2.0 UpdatedApr 10, 2025 -
unison Public
Forked from bcpierce00/unisonUnison file synchronizer
OCaml GNU General Public License v3.0 UpdatedApr 4, 2025 -
Zarith Public
Forked from ocaml/ZarithThe Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
OCaml Other UpdatedApr 1, 2025 -
metalib Public
Forked from plclub/metalibThe Penn Locally Nameless Metatheory Library
Coq Other UpdatedMar 27, 2025 -
singa Public
Forked from apache/singaa distributed deep learning platform
C++ Apache License 2.0 UpdatedMar 26, 2025 -
InteractionTrees Public
Forked from DeepSpec/InteractionTreesA Library for Representing Recursive and Impure Programs in Coq
-
cpr Public
Forked from libcpr/cprC++ Requests: Curl for People, a spiritual port of Python Requests.
C++ Other UpdatedFeb 13, 2025 -
paco Public
Forked from snu-sf/pacoA Coq library for parametric coinduction
Coq Other UpdatedJan 30, 2025 -
certicoq Public
Forked from CertiCoq/certicoqA Verified Compiler for Gallina, Written in Gallina
-
RSSHub Public
Forked from DIYgod/RSSHub🍰 Everything is RSSible
JavaScript MIT License UpdatedJan 24, 2025 -
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
Go MIT License UpdatedJan 7, 2025 -
-
redpanda Public
Forked from jepsen-io/redpandaTests for the Redpanda distributed queue
Clojure Other UpdatedDec 31, 2024 -
jepsen Public
Forked from jepsen-io/jepsenA framework for distributed systems verification, with fault injection
Clojure UpdatedDec 31, 2024 -
-
coq-simple-io Public
Forked from Lysxia/coq-simple-ioIO for Gallina
Coq MIT License UpdatedDec 10, 2024 -
coq-parsec Public
Monadic parser combinator library in Coq
-
lsyncd Public
Forked from lsyncd/lsyncdLsyncd (Live Syncing Daemon) synchronizes local directories with remote targets
Lua GNU General Public License v2.0 UpdatedNov 27, 2024 -
goformat Public
Forked from mbenkmann/goformatAlternative to gofmt with configurable formatting style (indentation etc.)
Go BSD 3-Clause "New" or "Revised" License UpdatedNov 6, 2024 -
-
liyishuai Public
I'm an amateur musician who occasionally codes.
-
lambda-term Public
Forked from ocaml-community/lambda-termTerminal manipulation library for OCaml
OCaml Other UpdatedAug 2, 2024
{{ message }}