jedhsu's repositories

geometry

Kinds of geometric spaces.

Language:RustStargazers:1Issues:0Issues:0

tulip

Graph neural-network super-optimization.

Language:RustLicense:Apache-2.0Stargazers:1Issues:1Issues:0

cortex

Tensor operators & utilities.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

depyth

Dependent symbolic type system for Python.

Language:PythonStargazers:0Issues:0Issues:0

editor

Neovim config.

Language:Vim scriptLicense:MITStargazers:0Issues:0Issues:0

geomuse

Music theory from the perspective of audio-temporal congruence.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

measure

Library for unit-of-measure types.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

monk

RL policy algorithms.

Language:RustStargazers:0Issues:0Issues:0

simplex

Differential simplex networks.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

wave

Bottoms-up waveform composition from the sinusoids.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

kagi

Harnesses ki.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

language

Models for type-theoretic structures.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

magma

Machine learning library.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mind

Crate for modeling RL agents.

Language:RustStargazers:0Issues:0Issues:0

probability

Data models for measure theory fundamentals.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tensor

Library for tensor manipulation on top of torch.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

text

Slowly prototyping a literate programming interface.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

think

Ideas in reinforcement learning, computational trinitarianism, and mathematical physics.

Stargazers:0Issues:0Issues:0

world

RL environment modeling from the perspective of mechanics.

Language:RustStargazers:0Issues:0Issues:0