Alternatives and similar repositories for NPRG014:

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

• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆11Updated last week
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 4 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 this week
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• 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 6 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated this week
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated last month
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆103Updated last year
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated 3 weeks ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated 11 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last month
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆39Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆22Updated last week
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆12Updated last year
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆44Updated 2 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆78Updated this week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆27Updated 2 years ago
• benediktahrens / CT4P
  ☆34Updated 5 months ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• fir-lang / fir
  Fir programming language
  ☆40Updated this week
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆90Updated 2 months ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• vituscze / norri
  ☆9Updated last year
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 11 months ago