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 3 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
  ☆305Updated 2 weeks ago
• georapbox / meme-generator
  A Progressive Web App (PWA) for creating memes.
  ☆86Updated last week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆436Updated this week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated 7 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• uclaacm / hack.uclaacm.com
  Official website of ACM Hack.
  ☆11Updated last month
• Raymo111 / cs135-drtools
  DrRacket Tools for CS 135 course at UWaterloo
  ☆26Updated 3 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
• Liam-DeVoe / testudoplus
  ☆12Updated 2 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆175Updated this week
• latex-lsp / tree-sitter-latex
  LaTeX grammar for tree-sitter
  ☆151Updated 3 weeks ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆41Updated last year
• vale1410 / vim-minizinc
  Syntax highlighting for minizinc (CP) and gringo (ASP) source code.
  ☆17Updated 3 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• dmadisetti / rules_euler
  Bazel rules for Project Euler
  ☆17Updated 5 years ago
• onionhoney / roux-trainers
  Rubik's cube trainer / solver for the Roux method.
  ☆54Updated 3 months ago
• tsani / comp-302-review
  Review problems for COMP 302
  ☆17Updated last year
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆197Updated last week
• j-hui / pokerus
  The dotfiles I infect my computers with
  ☆12Updated 10 months ago
• Coursemology / coursemology2
  Rails 6 re-write of Coursemology
  ☆156Updated this week
• Olical / aniseed
  Neovim configuration and plugins in Fennel (Lisp compiled to Lua)
  ☆643Updated 5 months ago
• MarkUsProject / Markus
  Git repository of MarkUs
  ☆273Updated this week
• psiska / telescope-hoogle.nvim
  Hoogle search via telescope
  ☆19Updated 3 years ago
• jbirnick / typst-great-theorems
  Straightforward and functional theorem/proof environments in Typst.
  ☆15Updated 8 months ago
• PrairieLearn / PrairieLearn
  Online problem-driven learning system
  ☆414Updated this week