d3scomp / NPRG014Links
Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
☆24Updated 8 months ago
Alternatives and similar repositories for NPRG014
Users that are interested in NPRG014 are comparing it to the libraries listed below
Sorting:
- Execute and document benchmarks reproducibly.☆92Updated last month
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 3 months ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Jupyter kernel for Coq☆95Updated 11 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated this week
- Python type hints are Turing complete.☆33Updated 2 years ago
- A community around PL at Prague.☆18Updated 8 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- ☆34Updated this week
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 2 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Updated 11 months ago
- Invert (transpose) a GFM Markdown Table☆12Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆38Updated 2 months ago
- Functional Programming in Lean☆103Updated 3 weeks ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 2 months ago
- A GitHub Action to install TeX Live☆35Updated 2 weeks ago
- A toy dependent typed language.☆32Updated this week
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Updated 6 years ago
- Sources for the ANSI/ISO C Specification Language manual☆60Updated last week
- Hosts the website for mathlib and other Lean community infrastructure.☆64Updated this week
- 🩺 A library for compiler diagnostics☆47Updated 3 weeks ago
- An overview of property-based testing functionality☆71Updated 2 months ago