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 3 years ago
• devsoc-unsw / structs.sh
  An educational data structures and algorithms platform.
  ☆32Updated this 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
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆294Updated 3 weeks ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆24Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated 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
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆174Updated this week
• lianluoyi / easyink_Dashboard
  easyink的前端服务之一，基于Vue、Element-UI开发的企业微信一站式私域流量运营管理平台，让操作更简单。
  ☆40Updated 6 months ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated 3 weeks ago
• gamesolver / fhourstones
  The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)
  ☆11Updated 9 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆225Updated last week
• onionhoney / roux-trainers
  Rubik's cube trainer / solver for the Roux method.
  ☆50Updated 2 weeks ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆210Updated this week
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆361Updated this week
• IllinoisWCS / IllinoisWCS.github.io
  The main Illinois Women in Computer Science website.
  ☆9Updated 2 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆528Updated 2 weeks ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆524Updated this week
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆203Updated this week
• gannicusleon / WeixinBot
  网页版微信API，包含终端版微信及微信机器人
  ☆17Updated 2 years ago
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆189Updated 2 years ago
• angrave / CS341-Lectures-FA23
  ☆11Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆263Updated 4 months ago
• gaojianghua / Playlet
  宫悦短剧：一个短剧模板，使用UniApp开发，兼容MP、H5、APP端。
  ☆30Updated last year