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 last year
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆288Updated last week
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated this week
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 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 3 years ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• iota-pi / crossangles
  CrossAngles is the easiest way to plan your timetable for next term
  ☆22Updated last week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated 2 weeks ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆683Updated 10 months ago
• AydanPirani / test
  ☆7Updated last year
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆29Updated 2 years ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated this week
• nimaanari / theory.report
  Theory of Computing Report
  ☆12Updated 6 months ago
• devsoc-unsw / circles
  The open-source degree planner for UNSW students. Features an interactive drag-and-drop interface for easy term planning and automatic pr…
  ☆61Updated 2 weeks ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆167Updated this week
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 11 months ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• Raymo111 / cs135-drtools
  DrRacket Tools for CS 135 course at UWaterloo
  ☆26Updated 2 years ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆340Updated last week
• devsoc-unsw / freerooms
  A web application designed to aid UNSW students in finding vacant rooms.
  ☆21Updated this week
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆813Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated last week
• tmwilliamlin168 / big2
  A web app to play Big 2, a popular Poker card game in East Asia.
  ☆11Updated 4 years ago
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆658Updated last week
• StuffByLiang / realtime-ubc-courses-api
  An express REST API that provides realtime (or cached) course or section data for UBC courses obtained by scraping the official site. Bui…
  ☆13Updated 2 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆32Updated last month