karlstroetmann / Formal-LanguagesLinks
Lecture notes and examples for my class on formal languages and compilers.
☆29Updated 9 months ago
Alternatives and similar repositories for Formal-Languages
Users that are interested in Formal-Languages are comparing it to the libraries listed below
Sorting:
- A tool for analyzing and transforming context-free grammars.☆225Updated 4 months ago
- The lecture notes for my lecture on AI.☆44Updated 5 months ago
- Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel☆18Updated 8 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Your favourite Graphviz editor.☆191Updated this week
- 🚋 Query Dresden's public transport system for current bus- and tramstop data in python☆52Updated last year
- Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe☆90Updated last year
- ☆71Updated 2 years ago
- a university course evaluation system written in Python using Django☆107Updated 3 weeks ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated 3 weeks ago
- Finite State Machine Designer☆309Updated last year
- Advent of Code statistics for the first 100 submissions visualized☆88Updated 9 months ago
- A useful Antlr4 tool with full TypeScript support☆36Updated 4 years ago
- KVV live API bindings☆63Updated 3 years ago
- Runtime string padding library for Rust☆16Updated 3 years ago
- Inject charts in your private leaderboard page for Advent of Code☆138Updated 9 months ago
- ⚖️ Wir öffnen das Bundesgesetzblatt☆88Updated 3 months ago
- Compiler for a language with Python-like syntax☆11Updated 6 years ago
- Esotope Brainfuck Compiler (2009)☆29Updated 10 years ago
- Le Parlement, comme si vous y étiez☆31Updated 2 years ago
- Java Assembler Interpreter☆68Updated 4 years ago
- QuantumSheet - A user friendly mathematics worksheet and solver☆58Updated 3 years ago
- SAT solver written in Rust☆273Updated 2 years ago
- An unfinished CIL interpreter in Rust☆25Updated 6 years ago
- Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/☆282Updated 2 weeks ago
- Alle unsere Heißgetränke☆19Updated 2 years ago
- Exactly - tests a command line program by executing it in a temporary sandbox directory and inspecting its result.☆36Updated last year
- Live-Abfahrtszeiten des ÖPNV in München / CLI and Ruby Client for mvg-live.de☆70Updated 7 years ago
- Downloader for lecture videos hosted on OpenCast☆20Updated 4 years ago
- Rust programming, in Swissgerman☆176Updated last year