karlstroetmann / Formal-LanguagesLinks
Lecture notes and examples for my class on formal languages and compilers.
☆42Updated last week
Alternatives and similar repositories for Formal-Languages
Users that are interested in Formal-Languages are comparing it to the libraries listed below
Sorting:
- Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel☆18Updated 8 years ago
- Finite State Machine Designer☆310Updated 2 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- The lecture notes for my lecture on AI.☆45Updated 8 months ago
- Le Parlement, comme si vous y étiez☆31Updated 2 years ago
- Generic symbol table for lexically/statically scoped languages☆53Updated 8 years ago
- ☆71Updated 2 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆118Updated 2 years ago
- Rust programming, in Swissgerman☆183Updated last year
- Browser-based Tool to Visualize Public Transport Journeys☆66Updated 2 weeks ago
- A next-generation IDE that makes programming more efficient☆97Updated 3 years ago
- Compiler for a language with Python-like syntax☆11Updated 7 years ago
- Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe☆90Updated last year
- ⚖️ Wir öffnen das Bundesgesetzblatt☆89Updated 6 months ago
- A C-like language to Brainfuck compiler, written in Python☆132Updated last year
- lecture notes for the algorithms class together with most of the programs☆44Updated last week
- A Rust crate to parse EU Digital Green Certificates for COVID-19☆11Updated 3 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Updated 3 years ago
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆97Updated this week
- Programming language made up of chess games☆36Updated 6 years ago
- Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.☆69Updated 6 years ago
- TrAIn_Connection_Prediction - The best Train Delay Prediction System. TCP☆19Updated 3 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- EPIC CUCUMBERS!☆27Updated 8 years ago
- A python wrapper around the Rest API of the Swiss Postcard creator☆53Updated 2 years ago
- Automatic assignment checker☆36Updated 10 years ago
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- CLI tool for creating and verifying problem packages for sio2☆12Updated last month
- SAT solver written in Rust☆275Updated 3 years ago
- Example of clingo usage on website as a client-side JS program☆13Updated 6 years ago