uclaacm / TeachLAFrontendLinks
đ± The frontend for Teach LA's online IDE, designed to teach kids how to code!
â24Updated 11 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 2 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â303Updated 2 months ago
- a look into matt wang's intriguing monetary venturesâ10Updated 4 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]â530Updated 5 months ago
- GPA++ course stats search engineâ13Updated last year
- The code for Hotseat!â16Updated 10 months ago
- Neovim support for the Lean theorem proverâ418Updated this week
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.â428Updated last month
- Dafny is a verification-aware programming languageâ3,182Updated this week
- The Vellvm (Verified LLVM) coq development.â443Updated this week
- A LaTeX Typesetting Gameâ258Updated 7 months ago
- Visual Studio Code extension for Coqâ410Updated this week
- LaTeX Styles provided by Dagstuhl Publishingâ37Updated 11 months ago
- Online problem-driven learning systemâ409Updated this week
- Syntax highlighter for ANTLR files in vimâ30Updated 6 years ago
- ćĄçœçćŸźäżĄć°çšćșâ36Updated 5 years ago
- Formal Reasoning About Programsâ704Updated last month
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.â1,209Updated this week
- Official website of ACM Hack.â11Updated last month
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coqâ191Updated this week
- LaTeX grammar for tree-sitterâ151Updated this week
- an interpreter for λ-calculus implemented in rubyâ17Updated last year
- è·šćąç©æ”æ„ćŁïŒäșéç©æ”ăäžæééăéŁçčç©æ”â32Updated 3 years ago
- Debating tournament tabulation software for British Parliamentary and a variety of two-team parliamentary formatsâ272Updated this week
- Simple award certificate distribution system with a personalized link per recipient.â11Updated 4 years ago
- đŠ„ Supercharge your Haskell experience in neovim!â552Updated this week
- A gently curated list of companies using verification formal methods in industryâ575Updated 3 weeks ago
- Olympiad GeoGuessrâ18Updated 7 months ago