marcellop71

marcellop71's Stars

• openai/gym

  A toolkit for developing and comparing reinforcement learning algorithms.

  Language:Python34.3k1.1k1.8k8.6k

• go-delve/delve

  Delve is a debugger for the Go programming language.

  Language:Go22.5k3731.7k2.1k

• openai/baselines

  OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

  Language:Python15.5k6508484.9k

• rs/zerolog

  Zero Allocation JSON Logger

  Language:Go10.1k69362558

• blevesearch/bleve

  A modern text/numeric/geo-spatial/vector indexing library for go

  Language:Go9.8k239828671

• jroimartin/gocui

  Minimalist Go package aimed at creating Console User Interfaces.

  Language:Go9.8k135162610

• bitcoin/bips

  Bitcoin Improvement Proposals

  Language:Wikitext9.1k79705.3k

• DLR-RM/stable-baselines3

  PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

  Language:Python8.4k601.4k1.6k

• gonum/gonum

  Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more

  Language:Go7.4k118623532

• gorgonia/gorgonia

  Gorgonia is a library that helps facilitate machine learning in Go.

  Language:Go5.4k194275431

• mailru/easyjson

  Fast JSON serializer for golang.

  Language:Go4.4k87194416

• lightning/bolts

  BOLT: Basis of Lightning Technology (Lightning Network Specifications)

  Language:Markdown2.1k174390491

• MinaProtocol/mina

  Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

  Language:OCaml2k1026.3k527

• blugelabs/bluge

  indexing library for Go

  Language:Go1.9k33104121

• algorand/go-algorand

  Algorand's official implementation in Go.

  Language:Go1.3k741.6k460

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.2k41379259

• tuneinsight/lattigo

  A library for lattice-based multiparty homomorphic encryption in Go

  Language:Go1.1k28295172

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++858122876

• microsoft/Nova

  Nova: High-speed recursive arguments from folding schemes

  Language:Rust6822543179

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python478144872

• lurk-lab/lurk-rs

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

  Language:Rust4211338954

• aunum/gold

  Reinforcement Learning in Go

  Language:Go341231126

• Julian/lean.nvim

  neovim support for the Lean theorem prover

  Language:Lua233916723

• lean-dojo/ReProver

  Retrieval-Augmented Theorem Provers for Lean

  Language:Python18991639

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean162137612

• lurk-lab/yatima

  A zero-knowledge Lean4 compiler and kernel

  Language:Lean10981158

• google-deepmind/debate

  Formalizing stochastic doubly-efficient debate

  Language:Lean8210012

• starkware-libs/formal-proofs

  Language:Lean466113

• ramonfmir/lean-scheme

  Schemes in Lean (v2)

  Language:Lean42925

• adomani/Atelier_Lean_2023

  Language:Lean310