canteversleep

canteversleep's Stars

• gpoesia/peano

  An environment for learning formal mathematical reasoning from scratch

  Language:Python525

• sean-lamont/bait

  Language:Standard ML41

• google-deepmind/mctx

  Monte Carlo tree search in JAX

  Language:Python2.4k191

• Carbon225/mctx-classic

  Classic MCTS example with mctx

  Language:Jupyter Notebook15

• bwfbowen/muax

  A project that provides help for using DeepMind's mctx on gym-style environments.

  Language:Python5010

• valhalla/valhalla

  Open Source Routing Engine for OpenStreetMap

  Language:C++4.5k682

• dair-ai/Mathematics-for-ML

  🧮 A collection of resources to learn mathematics for machine learning

  4.5k424

• jax-ml/jax

  Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

  Language:Python30.4k2.8k

• google-deepmind/dm-haiku

  JAX-based neural network library

  Language:Python2.9k233

• huggingface/deep-rl-class

  This repo contains the syllabus of the Hugging Face Deep Reinforcement Learning Course.

  Language:MDX3.9k598