Rustastra

Pinned Repositories

encord-client-python
Encord Python API Client
Language:Python62 9 312
BrownianMotionInLean
Brownian Motion in Lean
Language:TeX10
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Language:TypeScript177 11 20852
20200615Cass
lecture code and data
Language:R1 1 00
hayvnapp
An open source app for medical records
Language:Java0 0 00
material-ui
React components for faster and easier web development. Build your own design system, or start with Material Design.
Language:JavaScript0 0 00
st-chat-v0001
Streamlit Component, for a Chatbot UI
Language:JavaScript00

Rustastra's Repositories

Rustastra/20200615Cass
lecture code and data
Language:R1 1 00
Rustastra/hayvnapp
An open source app for medical records
Language:Java0 0 00
Rustastra/material-ui
React components for faster and easier web development. Build your own design system, or start with Material Design.
Language:JavaScript0 0 00
Rustastra/st-chat-v0001
Streamlit Component, for a Chatbot UI
Language:JavaScript00