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
  ☆84Updated last month
• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆11Updated this week
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 2 months ago
• lambduli / minilog
  A small logic programming language.
  ☆15Updated 9 months ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 9 months ago
• tenhobi / bachelors-thesis
  My Bachelor's Thesis, in Czech
  ☆11Updated 3 years ago
• benediktahrens / CT4P
  ☆34Updated 3 months ago
• fir-lang / fir
  ☆38Updated this week
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 8 months 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 2 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• 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.
  ☆26Updated 4 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆30Updated 6 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated 2 months ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆32Updated 2 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆23Updated last month
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated last week
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• michal-h21 / biblatex-iso690
  ISO 690 style for biblatex.
  ☆93Updated last year
• MizarProject / system
  ☆36Updated last year
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆12Updated last year
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆37Updated last year
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 3 years ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated 2 months ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆26Updated 2 years ago
• ziglang / universal-headers
  A set of C headers (.h files) that are compatible with widely used libcs for various targets.
  ☆57Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated this week
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆34Updated 2 years ago