Beast code in Giters

jedhsu's repositories

geometry

Kinds of geometric spaces.

Language:Rust100

tulip

Graph neural-network super-optimization.

Language:RustApache-2.01 10

cortex

Tensor operators & utilities.

Language:PythonApache-2.0000

depyth

Dependent symbolic type system for Python.

Language:Python000

editor

Neovim config.

Language:Vim scriptMIT000

geomuse

Music theory from the perspective of audio-temporal congruence.

Language:PythonMIT010

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.0010

think

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

000

world

RL environment modeling from the perspective of mechanics.

Language:Rust000