Alternatives and similar repositories for betterinformatics:

Users that are interested in betterinformatics are comparing it to the libraries listed below

• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆22Updated 2 years ago
• babyraging / yash
  Yet Another Syntax Highlighter for lex/yacc & flex/bison.
  ☆50Updated 4 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆199Updated last week
• eprover / eprover
  ☆137Updated last week
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆370Updated 2 weeks ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated last year
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆97Updated this week
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆44Updated 3 years ago
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆354Updated 3 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆397Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• MatthewHepburn / FSM-Workbench
  Create and simulate finite state machines in your browser. Includes interactive exercises.
  ☆9Updated 7 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆451Updated last week
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated 7 months ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 2 years ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆14Updated 6 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆153Updated 3 weeks ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆108Updated 9 months ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆59Updated this week
• joonazan / regex-equivalence
  A web page for checking if two regular expressions match the same language.
  ☆17Updated 7 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆250Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆144Updated this week
• LeifAndersen / PLGradSchools
  ☆228Updated 7 months ago
• leanprover-community / lean4-metaprogramming-book
  ☆240Updated last month
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated last month