raydog99

Symmetry

Pinned Repositories

astro
World scale consensus
Language:C++0 1 00
bolt
EBMs and JEPA architectures
Language:OCaml1 1 00
chompy
AI agentic workflows in permissionless environments
Language:OCaml1 1 00
dawn
Advanced algorithms and data structures in several languages
Language:C++0 1 00
dbos
Database-oriented operating system
Language:OCaml2 1 00
dragonfly
Compositional verification of zero-knowledge circuits
Language:Rust00
fullstack-nanodegree-vm
Language:Python0 2 00
hyper
Universal optimization
Language:C++0 1 00
sig
Geometric signatures in nature and markets
Language:OCaml00
UniDA
Unified optimal transport framework for universal domain adaptation
Language:OCaml0 1 00

raydog99's Repositories

raydog99/dbos
Database-oriented operating system
Language:OCaml2 1 00
raydog99/bolt
EBMs and JEPA architectures
Language:OCaml1 1 00
raydog99/chompy
AI agentic workflows in permissionless environments
Language:OCaml1 1 00
raydog99/astro
World scale consensus
Language:C++0 1 00
raydog99/dawn
Advanced algorithms and data structures in several languages
Language:C++0 1 00
raydog99/dragonfly
Compositional verification of zero-knowledge circuits
Language:Rust00
raydog99/fullstack-nanodegree-vm
Language:Python0 2 00
raydog99/hyper
Universal optimization
Language:C++0 1 00
raydog99/kvs
Lakehouse object stores
Language:C++0 1 00
raydog99/sig
Geometric signatures in nature and markets
Language:OCaml00
raydog99/UniDA
Unified optimal transport framework for universal domain adaptation
Language:OCaml0 1 00
raydog99/x-transformers
Generative Transformers
Language:OCaml0 1 00
raydog99/futures
Distributed futures through just-in-time dataflow analysis
Language:Haskell1 0
raydog99/miranda
Hyper metalanguage benchmark
Language:Rust1 0
raydog99/NewGrad-2021
A collection of New Grad full time roles in SWE, Quant, and PM.
1 0
raydog99/nitro
microprocessor protocols + Haar face detection
Language:C2 0
raydog99/Numbas
A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics
Language:JavaScript2 0
raydog99/numbas-lti-provider
An LTI tool provider to run Numbas exams
Language:Python2 0
raydog99/plaid-link-examples
Plaid Link Webview, ReactNative examples
Language:Objective-C1 0
raydog99/PlusCal
TLA+ verification of distributed systems
Language:TLA
raydog99/react-native
A framework for building native apps with React.
Language:Java2 0
raydog99/react-quickly
Source code for React Quickly [Manning, 2017]: Painless Web Apps with React, JSX, Redux, and GraphQL 📕
Language:JavaScript2 0
raydog99/recipes
1 0
raydog99/solar
Unified optimal transport framework for cross-modal retrieval
Language:OCaml2 0
raydog99/tiny-zoom
demo of client-side ML + webRTC
Language:JavaScript1 0
raydog99/transform-pouch
PouchDB plugin for modifying documents before and after storage in the database.
Language:JavaScript2 0
raydog99/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Language:TypeScript2 0
raydog99/wiki
Free Code Camp's wiki articles
Language:JavaScript2 0