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
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆292Updated 2 months ago
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆669Updated 3 weeks ago
• ocaml-community / utop
  Universal toplevel for OCaml
  ☆872Updated 6 months ago
• mirage / alcotest
  A lightweight and colourful test framework
  ☆478Updated 2 months ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last year
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆355Updated this week
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆832Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆170Updated last week
• janestreet / base
  Standard library for OCaml
  ☆920Updated last week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆388Updated this week
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆208Updated last month
• 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
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• polyml / polyml
  Poly/ML
  ☆504Updated last week
• tomtomjhj / vscoq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆10Updated 3 months ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆503Updated last week
• ocaml / v2.ocaml.org
  Implementation of the ocaml.org website.
  ☆321Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆376Updated 3 months ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆125Updated last month
• Coursemology / coursemology2
  Rails 6 re-write of Coursemology
  ☆155Updated this week
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆676Updated 8 months ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆430Updated this week
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆307Updated this week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,047Updated last week
• iota-pi / crossangles
  CrossAngles is the easiest way to plan your timetable for next term
  ☆22Updated 2 months ago
• NFTCN / ShuZiCangPinNFT
  数字藏品NFT系统源码，已对接文昌链、海峡链，支持支付宝、微信支付，有盲盒、藏品合成、预售、优先抢优先购、空投、拉新奖励等。
  ☆80Updated last year