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 6 months ago
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- LL1 by Team , made with☆11Updated 3 years ago
- Interactive Coq Proofs in Vim☆314Updated this week
- GPA++ course stats search engine☆13Updated 2 years ago
- Notes and Stuff☆15Updated 3 years ago
- a look into matt wang's intriguing monetary ventures☆10Updated 4 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆538Updated 8 months ago
- A LaTeX Typesetting Game☆261Updated 10 months ago
- Neovim support for the Lean theorem prover☆466Updated last week
- The Vellvm (Verified LLVM) coq development.☆455Updated last week
- OCaml Language Server Protocol implementation☆879Updated this week
- Official website of ACM Hack.☆11Updated last week
- Auto-formatter for OCaml code☆699Updated 2 months ago
- Lean Theorem Prover plugin for Vim.☆16Updated 4 years ago
- Rails 6 re-write of Coursemology☆155Updated last week
- ☆11Updated 2 years ago
- Course management service that enables auto-graded programming assignments.☆804Updated this week
- A Neovim client for VsCoq 2 vscoqtop.☆11Updated 3 months ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,252Updated this week
- Online problem-driven learning system☆431Updated last week
- This repo is the new home of Proof General☆547Updated 2 weeks ago
- Visual Studio Code extension for Coq☆432Updated 2 months ago
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆718Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆196Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆401Updated 3 weeks ago
- opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git…☆1,333Updated this week
- LaTeX grammar for tree-sitter☆157Updated this week
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆12Updated this week
- Context sensitive completion for OCaml in Vim and Emacs☆1,657Updated last week