d3scomp / NPRG014Links
Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
☆27Updated last month
Alternatives and similar repositories for NPRG014
Users that are interested in NPRG014 are comparing it to the libraries listed below
Sorting:
- Grammar Converter☆30Updated last month
- GitHub Action to run arbitrary commands in a TeXLive environment☆114Updated 5 months ago
- Execute and document benchmarks reproducibly.☆96Updated 5 months ago
- Invert (transpose) a GFM Markdown Table☆14Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆37Updated 7 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆38Updated this week
- Haskell library for parsing and evaluating typst☆68Updated 2 weeks ago
- The programming language design wiki.☆26Updated 2 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Commutative diagrams with TikZ☆54Updated 3 years ago
- Violette is a simple functional programming language.☆26Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago
- 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
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆76Updated 7 years ago
- Some papers on "Lambda Calculus"☆33Updated last month
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated 3 weeks ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆41Updated last month
- ☆11Updated 4 years ago
- Haskell parser for the djot light markup language☆27Updated last week
- A community around PL at Prague.☆18Updated last year
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- A Python backed for Idris 2☆29Updated last month
- A VS Code extension that provides language support for prolog☆103Updated 2 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆31Updated 3 weeks ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- The Pika Parser reference implementation☆146Updated 3 years ago
- ☆16Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Functional Programming in Lean☆128Updated last week