d3scomp / NPRG014Links
Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
☆27Updated 2 months ago
Alternatives and similar repositories for NPRG014
Users that are interested in NPRG014 are comparing it to the libraries listed below
Sorting:
- 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
- Invert (transpose) a GFM Markdown Table☆14Updated last year
- Execute and document benchmarks reproducibly.☆97Updated 6 months ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 5 years ago
- A community around PL at Prague.☆18Updated last year
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated last month
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Editor for language composition☆58Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 9 months ago
- Programming Languages Grammar House (BNF like grammars)☆32Updated 6 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 4 years ago
- The Pika Parser reference implementation☆148Updated last month
- Personal research notes☆18Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Python type hints are Turing complete.☆34Updated 3 years ago
- Compiler project for Dave Beazley' Wabbit Language☆27Updated 3 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- ☆36Updated 3 weeks ago
- Grammar Zoo☆98Updated 7 years ago
- ☆16Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- A prettyprinting library designed for laying out plain text documents☆24Updated 5 months ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆77Updated 7 years ago
- GitHub Action to run arbitrary commands in a TeXLive environment☆117Updated 6 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated 2 years ago
- Prettify Symbols Mode for Visual Studio Code☆92Updated 2 years ago