Alternatives and similar repositories for NPRG014:

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

• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆85Updated 2 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆11Updated this week
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆12Updated last year
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 3 months ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 10 months ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• LaTeX-Package-Repositories / setspace
  Set space between lines
  ☆21Updated 2 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆35Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 6 months ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆26Updated this week
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆39Updated last year
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆22Updated 5 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated 2 weeks ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• vituscze / norri
  ☆9Updated last year
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated this week
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆35Updated this week
• EduardSergeev / vscode-haskutil
  QuickFix actions for Haskell in VSCode
  ☆13Updated this week
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆31Updated last week
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated 10 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆24Updated 2 weeks ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 8 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆28Updated 3 weeks ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated this week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆77Updated 10 months ago