uclaacm / TeachLAFrontendLinks
🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
☆25Updated last year
Alternatives and similar repositories for TeachLAFrontend
Users that are interested in TeachLAFrontend are comparing it to the libraries listed below
Sorting:
- 👋 get to know me through my personal website!☆10Updated 4 months ago
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- Interactive Coq Proofs in Vim☆309Updated last week
- LL1 by Team , made with☆11Updated 3 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆11Updated last month
- a look into matt wang's intriguing monetary ventures☆10Updated 4 years ago
- Neovim support for the Lean theorem prover☆444Updated this week
- Public Profile☆11Updated 9 months ago
- Neovim client for coq-lsp☆30Updated 2 months ago
- Visual Studio Code extension for Coq☆422Updated this week
- OCaml Language Server Protocol implementation☆871Updated last week
- Course selection made easy☆19Updated 2 years ago
- Rails 6 re-write of Coursemology☆155Updated this week
- Object-Oriented Software Development - C++☆15Updated 6 years ago
- Discord bot to fetch UIUC classes.☆18Updated last year
- Answers from the Singapore Government☆17Updated last year
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆253Updated 10 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆192Updated last week
- Marmoset Improved! Better UI and functionality☆41Updated last year
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- Online problem-driven learning system☆416Updated this week
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆196Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆486Updated last week
- Shopify app for automatically sending tax receipts when specified products are purchased☆19Updated last year
- GPA++ course stats search engine☆13Updated last year
- This repo is the new home of Proof General☆540Updated 3 weeks ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12Updated 6 months ago
- Mathematical Components compliant Analysis Library☆229Updated last week
- Template for a basic academic page☆16Updated 2 months ago
- A microservice queue for holding open office hours☆86Updated 7 months ago