-
-
-
-
libcrux Public
Forked from cryspen/libcruxThe formally verified crypto library for Rust
C Apache License 2.0 UpdatedApr 10, 2025 -
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedOct 17, 2024 -
lean Public
Forked from leanprover-community/leanLean Theorem Prover
C++ Apache License 2.0 UpdatedSep 27, 2023 -
electionguard-cpp Public
Forked from Election-Tech-Initiative/electionguard-cppCore C++ ElectionGuard encryption components
C++ MIT License UpdatedFeb 8, 2021 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
FStar Public
Forked from FStarLang/FStarAn ML-like language with a type system for program verification
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedFeb 3, 2017 -
-
spec Public
Forked from WebAssembly/specStaging ground for artifacts related to an MVP spec
OCaml Apache License 2.0 UpdatedOct 21, 2016 -
ocaml-process Public
Forked from dsheets/ocaml-processEasy process control in OCaml
OCaml UpdatedAug 31, 2016 -
ocaml-manual Public
Forked from ocaml/ocaml-manualMirror of the OCaml manual
TeX UpdatedJul 26, 2016 -
pxt-microbit Public
Forked from microsoft/pxt-microbitA PXT target for microbit
PowerShell UpdatedJul 21, 2016 -
ocaml-windows-bootstrap Public
Forked from braibant/ocaml-windows-bootstrapShell UpdatedMay 27, 2016 -
VimFStar Public
Forked from FStarLang/VimFStarA Vim mode for FStar
Vim Script Vim License UpdatedMar 14, 2016 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
OCaml Other UpdatedJan 8, 2016 -
opam-repository-mingw Public
Forked from fdopen/opam-repository-mingwOPAM repository for MinGW OCaml
OCaml Creative Commons Zero v1.0 Universal UpdatedJan 5, 2016 -
proof-search-monad Public
Tentative write-up of a neat trick used in the Mezzo type-checker
-
microbit-chrome Public
Forked from microsoft/microbit-chromePrototype chrome addon that exposes the micro:bit's serial output to webpages.
UpdatedNov 13, 2015 -
blockly Public
Forked from RaspberryPiFoundation/blocklyThe web-based visual programming editor.
JavaScript Apache License 2.0 UpdatedJun 18, 2015 -
TypeScript Public
Forked from microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.
JavaScript Apache License 2.0 UpdatedFeb 14, 2015
{{ message }}