arthurpaulino

arthurpaulino's Stars

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++92.2k1.5k54k21.4k

• numpy/numpy

  The fundamental package for scientific computing with Python.

  Language:Python28.4k59913k10.2k

• pymc-devs/pymc

  Bayesian Modeling and Probabilistic Programming in Python

  Language:Python8.8k2253.3k2k

• librosa/librosa

  Python library for audio and music analysis

  Language:Python7.3k1391.2k971

• online-ml/river

  🌊 Online machine learning in Python

  Language:Python5.1k85610555

• matheusfacure/python-causality-handbook

  Causal Inference for the Brave and True. A light-hearted yet rigorous approach to learning about impact estimation and causality.

  Language:Jupyter Notebook2.8k47275491

• leanprover-community/mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k52362297

• raphaelvallat/pingouin

  Statistical package in Python based on Pandas

  Language:Python1.7k32304143

• nubank/fklearn

  fklearn: Functional Machine Learning

  Language:Jupyter Notebook1.5k10551167

• PyLops/pylops

  PyLops – A Linear-Operator Library for Python

  Language:Python43912137106

• 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:Rust4221439154

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean352204031

• Krozark/RPG-LaTeX-Template

  A Small Template For RPG book

  Language:TeX17916337

• lurk-lab/yatima

  A zero-knowledge Lean4 compiler and kernel

  Language:Lean11081158

• lurk-lab/arecibo

  An advanced fork of Nova

  Language:Rust721310630

• Artefact2/texbrew

  An attempt to make good-looking homebrew documents for various roleplaying systems using XeTeX for typesetting.

  Language:TeX531358

• tydeu/lean4-alloy

  Write C shims from within Lean code.

  Language:Lean514315

• leanprover/functional_programming_in_lean

  A book about functional programming in Lean

  39905

• lurk-lab/LSpec

  A Testing Framework for Lean

  Language:Lean355146

• xubaiw/Socket.lean

  A toy implementation of socket programming for Lean 4.

  Language:C26149

• DungeonPaper/dungeon-paper-app

  A Dungeon World character sheet app written with Flutter

  Language:Dart214147

• beaumanvienna/marley

  "Many Awesome Retro Linux Emulators, Yay!" -- A bundle of gaming console emulators for the x86_64 Linux platform

  Language:C186862

• lecopivo/lean4-karray

  Language:Lean12301

• crabbo-rave/Soup

  Extra and extended datatypes for Lean 4

  Language:Lean11100

• Julian/lftim

  Mathematical learnings with Lean, for those of us who wish we knew more of both!

  Language:Lean1031

• DungeonPaper/dungeon_world_data

  Dart + NPM package with Dungeon World character, moves & other data

  Language:Dart8252

• lurk-lab/Ipld.lean

  a Lean4 implementation of the IPLD format

  Language:Lean81

• lurk-lab/straume

  State-of-the-art streams for Lean 4

  Language:Lean5463

• lurk-lab/Vero

  Language:Lean4

• lurk-lab/Graph.lean

  A graph library in Lean 4

  3