Aurora0001's starred repositories
tensorflow
An Open Source Machine Learning Framework for Everyone
Semantic-UI
Semantic is a UI component framework based around useful principles from natural language.
curated-programming-resources
A curated list of resources for learning programming.
tokio-proto
A network application framework for Rust
react-linkify
React component to parse links (urls, emails, etc.) in text into clickable links
euclidthegame
A geometry game based on Euclid's Elements.
electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
pykaleidoscope
Implementation of the LLVM tutorial in Python
rust-copperline
Pure-Rust Command Line Editing Library