-
awesome-noir Public
Forked from noir-lang/awesome-noirA curated list of awesome things related to learning and programming in Noir.
Creative Commons Zero v1.0 Universal UpdatedDec 11, 2024 -
awesome-smart-contracts Public
Forked from shafu0x/awesome-smart-contractsThe best smart contracts in one place.
UpdatedDec 10, 2024 -
kakarot-docs Public
Forked from kkrt-labs/kakarot-docsTechnical Documentation for Kakarot zkEVM
TypeScript UpdatedNov 20, 2024 -
crypto-ecosystems Public
Forked from electric-capital/crypto-ecosystemsA taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
Rust Other UpdatedNov 2, 2024 -
-
formalverification.xyz Public
Forked from NethermindEth/formalverification.xyzA website listing all the best FV companies in the Crypto space.
TypeScript UpdatedJul 4, 2024 -
solidity Public
Forked from ethereum/soliditySolidity, the Smart Contract Programming Language
C++ GNU General Public License v3.0 UpdatedMay 5, 2024 -
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with thβ¦
Haskell Other UpdatedFeb 11, 2024 -
lidi Public
Forked from ANSSI-FR/lidiTransfer a raw TCP stream or files through a unidirectional link with forward error correction
Rust GNU Lesser General Public License v3.0 UpdatedMar 13, 2023 -
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
coq-soft-toys Public
π» π A boutique for coq soft toys
-
commercialhaskell Public
Forked from commercialhaskell/commercialhaskellA special interest group for companies and individuals interested in commercial usage of Haskell
UpdatedJan 4, 2023 -
-
arbitrum-docs Public
Forked from OffchainLabs/arbitrum-docsArbitrum Docs! Content + Webapp
JavaScript UpdatedDec 27, 2022 -
awesome-ocaml Public
Forked from ocaml-community/awesome-ocamlA curated collection of awesome OCaml tools, frameworks, libraries and articles.
UpdatedDec 25, 2022 -
practical-fm Public
Forked from ligurio/practical-fmA gently curated list of companies using verification formal methods in industry
UpdatedOct 17, 2022 -
wiki Public
Forked from tezosagorawiki/wikiThe Tezos Agora Wiki
JavaScript MIT License UpdatedAug 17, 2022 -
-
influxdb Public
Forked from influxdata/influxdbScalable datastore for metrics, events, and real-time analytics
Go MIT License UpdatedJun 24, 2022 -
palimpsest Public
Forked from stephane-caron/palimpsestFast serializable C++ dictionaries
C++ Apache License 2.0 UpdatedApr 26, 2022 -
redux-ship Public
Side effects with snapshots for Redux.
-
opam-coq-archive Public
Forked from coq/opamArchive for all Coq related OPAM packages organized in various repositories
-
-
coq-moment Public
β Parse, manipulate and pretty-print times and dates in Coq
-
-
www Public
Forked from coq/coq.github.ioSources files of the coq.inria.fr website (static part)
HTML UpdatedAug 16, 2021 -
merlin Public
Forked from rgrinberg/merlinContext sensitive completion for Ocaml in Vim and Emacs
OCaml MIT License UpdatedJul 24, 2021 -
Coq-Equations Public
Forked from mattam82/Coq-EquationsA plugin for Coq to add dependent pattern-matching.
OCaml GNU Lesser General Public License v2.1 UpdatedJul 1, 2021 -
{{ message }}