Alternatives and similar repositories for TeachLAFrontend

Users that are interested in TeachLAFrontend are comparing it to the libraries listed below

• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 6 months ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆314Updated this week
• uclaacm / hack.uclaacm.com
  Official website of ACM Hack.
  ☆11Updated last week
• singaporezoo / codebreaker-official
  Codebreaker is an automated platform that allows for easy and quick grading of Informatics Olympiad solutions.
  ☆17Updated 9 months ago
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated 2 years ago
• matthewcn56 / how-many-bobas-could-matt-have-bought-with-the-money-he-spent-on-domains
  a look into matt wang's intriguing monetary ventures
  ☆10Updated 4 years ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 3 years ago
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆699Updated 2 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆30Updated 4 months ago
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆879Updated this week
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated last year
• Coursemology / coursemology2
  Rails 6 re-write of Coursemology
  ☆155Updated this week
• tsani / comp-302-review
  Review problems for COMP 302
  ☆17Updated 2 years ago
• janestreet / base
  Standard library for OCaml
  ☆1,007Updated 3 weeks ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆538Updated 8 months ago
• mirage / alcotest
  A lightweight and colourful test framework
  ☆503Updated last month
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆41Updated last year
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆29Updated 5 months ago
• hotseatio / hotseat.io
  The code for Hotseat!
  ☆17Updated last year
• MarkBind / markbind
  MarkBind is a tool for generating content-heavy websites from source files in Markdown format
  ☆153Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆176Updated 2 weeks ago
• ocaml / merlin
  Context sensitive completion for OCaml in Vim and Emacs
  ☆1,657Updated last week
• pupilfirst / pupilfirst
  A learning management system (LMS) that lets you run an asynchronous online school, where learning is achieved through focused tasks, dir…
  ☆955Updated 2 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 2 weeks ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆466Updated last week
• nusmodifications / nusmods
  🏫 Official course planning platform for National University of Singapore.
  ☆643Updated this week
• rocq-community / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
  ☆196Updated this week
• qbreader / website
  A text-based quizbowl packet reader with support for both single- and multi-player.
  ☆48Updated this week