cpehle
NeuroAI scholar at CSHL. Interested in deep learning, computational neuroscience, theoretical physics and Neuromorphic computing.
Cold Spring Harbor LaboratoriesNew York
Pinned Repositories
3d_nn
Raymarching neural network using shaders
aedat
AEDAT 3.1 and AEDAT 4.0 address event decoding in C++
bn
a minimal dependency free way of generating ninja build files for lean4 packages
cascade
Cycle based C++ hardware simulation infrastructure
lean-mlir
MLIR bindings for lean4
ncore
A RISC-V processor in system verilog
platon
A programming language
rules_verilog
Verilog build rules for bazel.
x64_jit
norse
Deep learning with spiking neural networks (SNNs) in PyTorch.
cpehle's Repositories
cpehle/bn
a minimal dependency free way of generating ninja build files for lean4 packages
cpehle/blocking-tutorial
cpehle/cpehle.github.io
Personal Webpage
cpehle/lean4-mlir
cpehle/lean4-plugin-example
cpehle/neuromorphic-quantum-computing
Repository with Code and Data to reproduce https://arxiv.org/abs/2005.01533
cpehle/RLIF
Relaxation LIF
cpehle/SpikeGPT
Implementation of "SpikeGPT: Generative Pre-trained Language Model with Spiking Neural Networks"
cpehle/APRL
Efficient Real-World RL for Legged Locomotion via Adaptive Policy Regularization
cpehle/build-gmp
cpehle/depRL
Repository for our ICLR 2023 paper: DEP-RL: Embodied Exploration for Reinforcement Learning in Overactuated and Musculoskeletal Systems
cpehle/Feynman_GNN
cpehle/flint2
FLINT (Fast Library for Number Theory)
cpehle/iris
Transformers are Sample-Efficient World Models. ICLR 2023, notable top 5%.
cpehle/jaxsnn
cpehle/jraph
A Graph Neural Network Library in Jax
cpehle/lean4
Lean4 work in progress repo
cpehle/lean4-papyrus
An LLVM interface for Lean 4. (WIP)
cpehle/NeuroGPU
cpehle/njx
Differentiable, bio-physically and morphologically detailed neuron simulation in JAX.
cpehle/nx
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
cpehle/onnx
cpehle/otpc
cpehle/parkour
[CoRL 2023] Robot Parkour Learning
cpehle/public_html
cpehle/releasing-research-code
Tips for releasing research code in Machine Learning (with official NeurIPS 2020 recommendations)
cpehle/rezepte
cpehle/SciLean
Framework for scientific computing written in Lean
cpehle/serenity
The Serenity Operating System 🐞
cpehle/tree-math
Mathematical operations for JAX pytrees