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 5 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☆311Updated last month
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆12Updated this week
- Rails 6 re-write of Coursemology☆155Updated this week
- A Neovim client for VsCoq 2 vscoqtop.☆11Updated 2 months ago
- Review problems for COMP 302☆17Updated 2 years ago
- Debating tournament tabulation software for British Parliamentary and a variety of two-team parliamentary formats☆278Updated this week
- OCaml Language Server Protocol implementation☆877Updated this week
- The updated website for b01lers CTF!☆13Updated last month
- Marmoset Improved! Better UI and functionality☆41Updated last year
- Neovim support for the Lean theorem prover☆463Updated this week
- A microservice queue for holding open office hours☆86Updated 9 months ago
- 🏆 Clean personal website built with React. Mobile friendly and easily customizable☆17Updated 3 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆200Updated last week
- Online problem-driven learning system☆422Updated this week
- CaDiCaL SAT Solver☆509Updated last week
- The code for Hotseat!☆17Updated last year
- A LaTeX Typesetting Game☆262Updated 9 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆538Updated 7 months ago
- Browser extension enhancing the functionality and navigability of McGill.ca☆62Updated last month
- Course selection made easy☆19Updated 2 years ago
- Notes and Stuff☆15Updated 3 years ago
- A composable build system for OCaml.☆1,822Updated this week
- SIGPwny's websites and club content monorepo☆14Updated last month
- IoTForScenario是一个基于Dcat Admin的开源的物联网(IOT)场景化平台，用于快速开发场景化物联网项目和管理物联设备，是一整套物联系统解决方案。支持统一物模型管理、多种设备、多种厂家统一管理。统一设备连接管理，多协议适配(TCP,MQTT,UDP,HTT…☆12Updated 4 years ago
- GPA++ course stats search engine☆13Updated 2 years ago
- Connecting nonprofit and government clients with vital services through an intuitive and navigable resource map☆13Updated last month
- Auto-formatter for OCaml code☆700Updated last month