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 weeks 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 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated 3 weeks ago
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated last year
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆392Updated last week
• uclaacm / hack.uclaacm.com
  Official website of ACM Hack.
  ☆11Updated last week
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆12Updated last month
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆526Updated 3 months ago
• teaching-lab / stack-cs-activities
  A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …
  ☆25Updated last year
• Coursemology / coursemology2
  Rails 6 re-write of Coursemology
  ☆155Updated this week
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆855Updated 2 weeks ago
• ocaml / dune
  A composable build system for OCaml.
  ☆1,770Updated this week
• mlr-msft / vim-loves-dafny
  a vim plugin for Dafny, a verified programming language.
  ☆21Updated 6 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆442Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆185Updated last week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆406Updated 3 weeks ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆474Updated last week
• tsani / comp-302-review
  Review problems for COMP 302
  ☆18Updated last year
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆28Updated last month
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆30Updated 6 months ago
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆682Updated 2 months ago
• mirage / alcotest
  A lightweight and colourful test framework
  ☆488Updated last week
• goblint / analyzer
  Static analysis framework for C
  ☆201Updated this week
• stsewd / tree-sitter-comment
  Tree-sitter grammar for comment tags like TODO, FIXME(user).
  ☆154Updated 2 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆537Updated 3 weeks ago
• ocaml / merlin
  Context sensitive completion for OCaml in Vim and Emacs
  ☆1,643Updated last week
• HeyCommunity / HeyCommunity
  HeyCommunity 是一个社交软件项目（微信小程序）。当前产品功能以（图文、视频）动态分享为核心，支持点赞、评论、回复。同时也支持小程序订阅消息推送。将来版本迭代会增加活动、话题、小组、IM 等功能，将来也会开发 APP 和网页端。
  ☆44Updated 3 years ago