Pinned Repositories
asymmetric_crypto
bot
A (Coq Development Team) bot written in OCaml
cgdkg_artifact
coq
Coq 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 development of machine-checked proofs.
cpp_option_type
distributed_file_system
ecm
error_correcting_codes
GLV_arkworks
ocaml-pari
OCaml bindings to the number theory library PARI/GP
jtcoolen's Repositories
jtcoolen/ocaml-pari
OCaml bindings to the number theory library PARI/GP
jtcoolen/asymmetric_crypto
jtcoolen/bot
A (Coq Development Team) bot written in OCaml
jtcoolen/cgdkg_artifact
jtcoolen/coq
Coq 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 development of machine-checked proofs.
jtcoolen/cpp_option_type
jtcoolen/distributed_file_system
jtcoolen/ecm
jtcoolen/error_correcting_codes
jtcoolen/GLV_arkworks
jtcoolen/libclang-ocaml-bindings-generator
Utility to generate OCaml bindings for C/C++ headers
jtcoolen/nixpkgs
Nix Packages collection
jtcoolen/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
jtcoolen/hacl-packages
The Cryspen HACL Distribution
jtcoolen/hacl-star
HACL*, a formally verified cryptographic library written in F*
jtcoolen/ideal_class_group_crypto
Cryptography based on ideal class groups of imaginary quadratics fields
jtcoolen/jtcoolen.github.io
jtcoolen/libcrux
The formally verified crypto library for Rust
jtcoolen/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
jtcoolen/OpenBBTerminal
Investment Research for Everyone, Everywhere.
jtcoolen/sequencer
PoC of a distributed sequencer network for Tezos smart rollups, based on Sui's Narwhal & Bullshark consensus implementation
jtcoolen/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
jtcoolen/suplex
A DSL compiling to LLVM using the tagless-final approach
jtcoolen/teztnets
jtcoolen/threshold_encryption
jtcoolen/uc-lean
jtcoolen/whymp