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 2 years ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆296Updated last week
• 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
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated last year
• tomtomjhj / vscoq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆10Updated 5 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• AydanPirani / test
  ☆7Updated last year
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• open-source-at-illinois / cherry
  Course selection made easy
  ☆19Updated last year
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆24Updated last month
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 8 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆367Updated last week
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• agda / cornelis
  agda-mode for neovim
  ☆158Updated 2 months ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆12Updated this week
• Coursemology / coursemology2
  Rails 6 re-write of Coursemology
  ☆155Updated this week
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆37Updated 6 years ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆175Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆393Updated last week
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆51Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last month
• Treeniks / isabelle-lsp.nvim
  ☆13Updated 9 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 3 weeks ago
• asuc-octo / berkeleytime
  UC Berkeley enrollment info
  ☆62Updated last week
• AndrewRadev / id3.vim
  "Edit" mp3 files with Vim, or rather, their ID3 tags
  ☆52Updated last year
• illinois / clickin
  Open Source Polling App
  ☆14Updated 3 weeks ago
• junegunn / x5050
  A macOS command-line script to set up a split layout
  ☆21Updated 4 months ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• 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