marcellop71's Stars
sirupsen/logrus
Structured, pluggable logging for Go.
tree-sitter/tree-sitter
An incremental parsing system for programming tools
coq/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.
leanprover/lean4
Lean 4 programming language and theorem prover
LaurentMazare/tch-rs
Rust bindings for the C++ api of PyTorch.
Chakazul/Lenia
Lenia - Mathematical Life Forms
dafny-lang/dafny
Dafny is a verification-aware programming language
ElementsProject/lightning
Core Lightning — Lightning Network implementation focusing on spec compliance and performance
FStarLang/FStar
A Proof-oriented Programming Language
mempool/mempool
Explore the full Bitcoin ecosystem with mempool.space, or self-host your own instance with one-click installation on popular Raspberry Pi fullnode distros including Umbrel, Raspiblitz, Start9, and more!
AbsInt/CompCert
The CompCert formally-verified C compiler
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
WebAssembly/wasi-sdk
WASI-enabled WebAssembly C/C++ toolchain
zama-ai/concrete
Concrete: TFHE Compiler that converts python programs into FHE equivalent
herumi/mcl
a portable and fast pairing-based cryptography library
relic-toolkit/relic
Code
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
princeton-vl/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
miracl/core
MIRACL Core
EoinDavey/tsPEG
PEG Parser Generator for TypeScript
ZenGo-X/multi-party-schnorr
Rust implementation of multi-party Schnorr signatures over elliptic curves.
dreal/dreal4
Automated Reasoning in Nonlinear Theories of Reals
compound-finance/compound-money-market
Compound v1 Protocol [Copyright 2018 Compound]
nbonneel/network_simplex
Fast optimal transport code
blockwatch-cc/tzgo
Golang library for the Tezos blockchain
fblanqui/color
Coq library on rewriting theory and termination
bitml-lang/bitml-compiler
Compiler for BitML
meta-logic/coq-ll
Formalization of Linear Logic in Coq