jedhsu

Pinned Repositories

cortex
Tensor operators & utilities.
Language:Python00
depyth
Dependent symbolic type system for Python.
Language:Python00
editor
Neovim config.
Language:Vim script00
geometry
Kinds of geometric spaces.
Language:Rust10
geomuse
Music theory from the perspective of audio-temporal congruence.
Language:Python0 1 00
measure
Library for unit-of-measure types.
Language:Python00
monk
RL policy algorithms.
Language:Rust00
simplex
Differential simplex networks.
Language:Rust00
tulip
Graph neural-network super-optimization.
Language:Rust1 1 00
wave
Bottoms-up waveform composition from the sinusoids.
Language:Python00

jedhsu's Repositories

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