-
bn Public
a minimal dependency free way of generating ninja build files for lean4 packages
-
njx Public
Differentiable, bio-physically and morphologically detailed neuron simulation in JAX.
-
-
depRL Public
Forked from martius-lab/depRLRepository for our ICLR 2023 paper: DEP-RL: Embodied Exploration for Reinforcement Learning in Overactuated and Musculoskeletal Systems
Python MIT License UpdatedNov 5, 2023 -
APRL Public
Forked from realquantumcookie/APRLEfficient Real-World RL for Legged Locomotion via Adaptive Policy Regularization
Python MIT License UpdatedOct 8, 2023 -
iris Public
Forked from eloialonso/irisTransformers are Sample-Efficient World Models. ICLR 2023, notable top 5%.
Python GNU General Public License v3.0 UpdatedSep 18, 2023 -
parkour Public
Forked from ZiwenZhuang/parkour[CoRL 2023] Robot Parkour Learning
Python MIT License UpdatedSep 14, 2023 -
SpikeGPT Public
Forked from ridgerchu/SpikeGPTImplementation of "SpikeGPT: Generative Pre-trained Language Model with Spiking Neural Networks"
-
-
jraph Public
Forked from google-deepmind/jraphA Graph Neural Network Library in Jax
Python Apache License 2.0 UpdatedJan 7, 2023 -
nx Public
Forked from elixir-nx/nxMulti-dimensional arrays (tensors) and numerical definitions for Elixir
Elixir UpdatedDec 31, 2022 -
-
releasing-research-code Public
Forked from paperswithcode/releasing-research-codeTips for releasing research code in Machine Learning (with official NeurIPS 2020 recommendations)
MIT License UpdatedAug 9, 2022 -
Repository with Code and Data to reproduce https://arxiv.org/abs/2005.01533
1 UpdatedJun 13, 2022 -
-
-
tree-math Public
Forked from google/tree-mathMathematical operations for JAX pytrees
Python Apache License 2.0 UpdatedMay 11, 2022 -
-
flint2 Public
Forked from flintlib/flintFLINT (Fast Library for Number Theory)
C GNU Lesser General Public License v2.1 UpdatedApr 12, 2022 -
SciLean Public
Forked from lecopivo/SciLeanFramework for scientific computing written in Lean
Lean Apache License 2.0 UpdatedApr 5, 2022 -
lean4 Public
Forked from leanprover/lean4Lean4 work in progress repo
Lean Apache License 2.0 UpdatedApr 1, 2022 -
serenity Public
Forked from SerenityOS/serenityThe Serenity Operating System 🐞
C++ BSD 2-Clause "Simplified" License UpdatedFeb 7, 2022 -
-
-
-
-
-
lean4-papyrus Public
Forked from tydeu/lean4-papyrusAn LLVM interface for Lean 4. (WIP)
Lean UpdatedSep 18, 2021 -
-
{{ message }}