d3scomp / NPRG014Links
Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
☆24Updated 7 months ago
Alternatives and similar repositories for NPRG014
Users that are interested in NPRG014 are comparing it to the libraries listed below
Sorting:
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆69Updated 6 years ago
- GitHub Action to run arbitrary commands in a TeXLive environment☆104Updated last week
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆25Updated 9 months ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- VSCode extension for Metamath☆10Updated last week
- ☆21Updated last year
- Some papers on "Lambda Calculus"☆29Updated 4 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆39Updated 2 weeks ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆69Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Updated 3 years ago
- McLulang: The message is the language☆11Updated 10 months ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆24Updated last month
- 🩺 A library for compiler diagnostics☆46Updated 5 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- Enter an EBNF grammar and test expression which is evaluated against the specified grammar.☆53Updated 2 years ago
- Fir programming language☆63Updated this week
- minimalistic s-expression based term rewriting framework☆15Updated last month
- Execute and document benchmarks reproducibly.☆91Updated last week
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆30Updated last week
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆29Updated last month
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- A portable idris2 implementation of TLS☆32Updated 8 months ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆78Updated 2 months ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆29Updated 10 months ago
- Sources for the ANSI/ISO C Specification Language manual☆58Updated last month
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆25Updated 6 months ago
- Sokoban implementation in lean for proving solvability / unsolvability☆13Updated 4 years ago