d3scomp / NPRG014
Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
☆24Updated 5 months ago
Alternatives and similar repositories for NPRG014
Users that are interested in NPRG014 are comparing it to the libraries listed below
Sorting:
- #SharingIsCaring #CaringIsSharing☆85Updated 4 months ago
- A slightly improved variant of the official thesis sample☆28Updated last year
- A community around PL at Prague.☆18Updated 5 months ago
- VSCode extension for Metamath☆10Updated last month
- Invert (transpose) a GFM Markdown Table☆12Updated last year
- ☆9Updated last year
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆29Updated 2 months ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆42Updated last year
- GitHub Action to run arbitrary commands in a TeXLive environment☆104Updated 2 weeks ago
- Commutative diagrams with TikZ☆51Updated 2 years ago
- ISO 690 style for biblatex.☆95Updated last year
- 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
- ☆38Updated last year
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆23Updated this week
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- ☆13Updated 2 months ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- IDE support for the functional logic programming language Curry☆31Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last week
- Cicada Language (PLCT little team)☆92Updated 4 months ago
- ☆23Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆20Updated last year
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- The "draftwatermark" package extends LaTeX providing a means to add a textual, light gray watermark on every page or on the first page of…☆15Updated last year
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆66Updated 6 years ago
- A web based playground for parsertl/lexertl☆26Updated last week
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- Execute and document benchmarks reproducibly.☆92Updated 3 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week