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 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
  ☆303Updated 2 months 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
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 5 months ago
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated last year
• hotseatio / hotseat.io
  The code for Hotseat!
  ☆16Updated 10 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆418Updated this week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆428Updated last month
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆3,182Updated this week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆443Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆410Updated this week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 11 months ago
• PrairieLearn / PrairieLearn
  Online problem-driven learning system
  ☆409Updated this week
• dylon / vim-antlr
  Syntax highlighter for ANTLR files in vim
  ☆30Updated 6 years ago
• wingician / XY-Tarot
  塔罗牌微信小程序
  ☆36Updated 5 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆704Updated last month
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,209Updated this week
• uclaacm / hack.uclaacm.com
  Official website of ACM Hack.
  ☆11Updated last month
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆191Updated this week
• latex-lsp / tree-sitter-latex
  LaTeX grammar for tree-sitter
  ☆151Updated this week
• gurbaaz27 / typeless
  an interpreter for λ-calculus implemented in ruby
  ☆17Updated last year
• yiier / yii2-cross-border-express
  跨境物流接口：云途物流、三态速递、飞特物流
  ☆32Updated 3 years ago
• TabbycatDebate / tabbycat
  Debating tournament tabulation software for British Parliamentary and a variety of two-team parliamentary formats
  ☆272Updated this week
• garyhtou / certificates
  Simple award certificate distribution system with a personalized link per recipient.
  ☆11Updated 4 years ago
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆552Updated this week
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆575Updated 3 weeks ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated 7 months ago