jedhsu's repositories
cortex
Tensor operators & utilities.
Language:PythonApache-2.0000
depyth
Dependent symbolic type system for Python.
Language:Python000
editor
Neovim config.
Language:Vim scriptMIT000
measure
Library for unit-of-measure types.
Language:PythonApache-2.0000
monk
RL policy algorithms.
Language:Rust000
simplex
Differential simplex networks.
Language:RustMIT000
wave
Bottoms-up waveform composition from the sinusoids.
Language:PythonApache-2.0000
kagi
Harnesses ki.
Language:PythonMIT000
language
Models for type-theoretic structures.
Language:PythonMIT000
magma
Machine learning library.
Language:RustApache-2.0000
mind
Crate for modeling RL agents.
Language:Rust000
probability
Data models for measure theory fundamentals.
Language:PythonApache-2.0000
tensor
Library for tensor manipulation on top of torch.
Language:PythonApache-2.0000
text
Slowly prototyping a literate programming interface.
Language:PythonApache-2.0000
think
Ideas in reinforcement learning, computational trinitarianism, and mathematical physics.
000
world
RL environment modeling from the perspective of mechanics.
Language:Rust000