Pinned Repositories
cortex
Tensor operators & utilities.
depyth
Dependent symbolic type system for Python.
editor
Neovim config.
geometry
Kinds of geometric spaces.
geomuse
Music theory from the perspective of audio-temporal congruence.
measure
Library for unit-of-measure types.
monk
RL policy algorithms.
simplex
Differential simplex networks.
tulip
Graph neural-network super-optimization.
wave
Bottoms-up waveform composition from the sinusoids.
jedhsu's Repositories
jedhsu/geometry
Kinds of geometric spaces.
jedhsu/tulip
Graph neural-network super-optimization.
jedhsu/cortex
Tensor operators & utilities.
jedhsu/depyth
Dependent symbolic type system for Python.
jedhsu/editor
Neovim config.
jedhsu/geomuse
Music theory from the perspective of audio-temporal congruence.
jedhsu/measure
Library for unit-of-measure types.
jedhsu/monk
RL policy algorithms.
jedhsu/simplex
Differential simplex networks.
jedhsu/wave
Bottoms-up waveform composition from the sinusoids.
jedhsu/kagi
Harnesses ki.
jedhsu/language
Models for type-theoretic structures.
jedhsu/magma
Machine learning library.
jedhsu/mind
Crate for modeling RL agents.
jedhsu/probability
Data models for measure theory fundamentals.
jedhsu/tensor
Library for tensor manipulation on top of torch.
jedhsu/text
Slowly prototyping a literate programming interface.
jedhsu/think
Ideas in reinforcement learning, computational trinitarianism, and mathematical physics.
jedhsu/world
RL environment modeling from the perspective of mechanics.