Alternatives and similar repositories for NPRG014

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

• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆116Updated 6 months ago
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆97Updated 6 months ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆77Updated 7 years ago
• sunfishcode / hello-world-vs-io-errors
  A repository about "Hello, World" programs and I/O errors
  ☆73Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated last year
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated this week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆140Updated last week
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆63Updated 7 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆62Updated 5 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆34Updated last month
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• compiler-explorer / misc-builder
  ☆16Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆40Updated 3 weeks ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• benediktahrens / CT4P
  ☆36Updated 3 weeks ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 4 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆82Updated 5 months ago
• slatex / RusTeX
  A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
  ☆32Updated 3 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆41Updated 8 months ago