Pinned Repositories
aubox
Automation Boxes
dayendar
Dayendar for advanced day calendar operations
frost
Frost prediction
hacl-star
HACL*, a formally verified cryptographic library written in F*
iri
IRI algorithm for free flow traffic consolidation
mesh-transformer-jax
Model parallel transformers in JAX and Haiku
watcher
Watches the changes in the file system, variables and data records
racherb's Repositories
racherb/mesh-transformer-jax
Model parallel transformers in JAX and Haiku
racherb/watcher
Watches the changes in the file system, variables and data records
racherb/aubox
Automation Boxes
racherb/dayendar
Dayendar for advanced day calendar operations
racherb/frost
Frost prediction
racherb/hacl-star
HACL*, a formally verified cryptographic library written in F*
racherb/iri
IRI algorithm for free flow traffic consolidation
racherb/liquidhaskell
Liquid Types For Haskell
racherb/lucy
racherb/moment
The time of the workload schedule
racherb/oeis
racherb/output
The second languaje. Define a second language for console output and make your code resilient.
racherb/racherb.github.io
:sparkles: racherb's personal blog
racherb/rango
Formally verified monad of range
racherb/readthedocs.org
The source code that powers readthedocs.org
racherb/rex
Remote execution on distributed systems and cloud
racherb/sagent
super-agent
racherb/sru
SRU Public License
racherb/tokens
Tokens and Documents Datasets for Natural Language Processing
racherb/wells
The State Machine And Time Machine for Smart Contracts