uclaacm / TeachLAFrontendLinks
🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
☆23Updated 9 months ago
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 this week
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- LL1 by Team , made with☆11Updated 2 years ago
- Interactive Coq Proofs in Vim☆299Updated last week
- Official website of ACM Hack.☆11Updated 2 weeks ago
- The code for Hotseat!☆18Updated 7 months ago
- Neovim client for coq-lsp☆27Updated 9 months ago
- a look into matt wang's intriguing monetary ventures☆10Updated 3 years ago
- Neovim support for the Lean theorem prover☆379Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆523Updated 2 months ago
- Coq code formatter☆24Updated this week
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆12Updated last week
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆39Updated 3 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆26Updated 2 weeks ago
- Rails 6 re-write of Coursemology☆155Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆184Updated this week
- GPA++ course stats search engine☆13Updated last year
- Auto-formatter for OCaml code☆677Updated last month
- A LaTeX Typesetting Game☆256Updated 4 months ago
- Tree-sitter grammar for embedded template languages like ERB, EJS☆73Updated 6 months ago
- Syntax highlighter for ANTLR files in vim☆31Updated 6 years ago
- The Vellvm (Verified LLVM) coq development.☆440Updated this week
- WaterlooWorks Azure is a browser extension designed to enhance the user experience with WaterlooWorks.☆36Updated 3 years ago
- UC Berkeley enrollment info☆62Updated last week
- Visual Studio Code extension for Coq☆401Updated 2 weeks ago
- OCaml Language Server Protocol implementation☆850Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆460Updated last week
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆31Updated last week
- streamlining the process of degree planning☆7Updated 2 years ago
- Ruby grammar for tree-sitter☆204Updated 2 months ago