Lecture notes and examples for my class on formal languages and compilers.
☆43Mar 5, 2026Updated this week
Alternatives and similar repositories for Formal-Languages
Users that are interested in Formal-Languages are comparing it to the libraries listed below
Sorting:
- Command line script for creating a PNG punchcard graph of your bash history.☆23Nov 4, 2021Updated 4 years ago
- A teaching aid library for formal languages and compiler courses☆13May 23, 2025Updated 9 months ago
- A simple package allowing to use WebGraph data in Python (via the Jython interpreter).☆20Oct 21, 2020Updated 5 years ago
- Generate regexes that test arbitrary numbers for divisibility by other numbers,☆26Jun 6, 2019Updated 6 years ago
- Download your books from Samona as PDFs.☆20Jan 27, 2026Updated last month
- Native desktop client for slack.com☆10May 23, 2018Updated 7 years ago
- ☆12Oct 17, 2020Updated 5 years ago
- A repository for cybersecurity students☆41Feb 24, 2024Updated 2 years ago
- Compile time unit checking with C++11 template magic.☆14Apr 30, 2019Updated 6 years ago
- A sample Nodejs application to demonstrate Inutit Payment API's ( Support for both OAuth1.0 and OAuth2.0 )☆10Jul 30, 2021Updated 4 years ago
- Keep It Secret Stupid – A self-contained (static) web page able to keep a secret…☆35Dec 3, 2020Updated 5 years ago
- A Rust implementation of the Handshake and Lightning Network secure messaging protocol - based on Noise.☆13Dec 9, 2019Updated 6 years ago
- An experimental net lib for Unity☆12Feb 15, 2023Updated 3 years ago
- The next generation of motion control firmware☆11Jan 28, 2022Updated 4 years ago
- Brace is an LLM-powered course assistant to help with teaching feedback-intensive courses with large student populations.☆12Jan 22, 2026Updated last month
- Command-line tool for interacting with Pancake.☆14Mar 9, 2014Updated 12 years ago
- A high-level form field handling and validation module for busboy☆18Sep 19, 2014Updated 11 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- Official Kraken.io library for Java☆10Aug 28, 2023Updated 2 years ago
- Bluetooth Low Energy synchronization daemon for AsteroidOS.☆12Feb 21, 2026Updated 2 weeks ago
- Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel☆18Jul 28, 2017Updated 8 years ago
- Board support crate for the STM32F103C8T6 bluepill☆11Jun 9, 2017Updated 8 years ago
- Jekyll + Pug + Materialize | Material design for Jekyll☆12Nov 13, 2017Updated 8 years ago
- Cryptonita - cryptanalysis swiss army knife☆14Jan 24, 2026Updated last month
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago
- Post processors for grblHAL and Grbl☆15Jun 17, 2024Updated last year
- A Collection of information for those seeking to get into customizing mechanical keyboards as a hobby, as well as projects of my own.☆15Sep 6, 2021Updated 4 years ago
- A VexFlow Editor for creating and playing music☆14May 20, 2017Updated 8 years ago
- Netlify Build Plugin to obscure files in git repos! (both filenames and their contents) This enables you to partially open source your s…☆15Jan 5, 2023Updated 3 years ago
- Lindenmayer Systems Fractals Renderer☆12Jun 3, 2019Updated 6 years ago
- A bitcoin ASIC miner for the ESP32☆24Jan 25, 2026Updated last month
- simple numpad☆13Aug 5, 2020Updated 5 years ago
- A Option type that prevents using null in your code.☆11Dec 1, 2018Updated 7 years ago
- GNU Units (mirror)☆16May 11, 2010Updated 15 years ago
- a test harness for embedded devices☆10Nov 16, 2020Updated 5 years ago
- Dockerfiles for HDF related containers☆17Sep 4, 2024Updated last year
- Wikilooper web version☆13Mar 19, 2021Updated 4 years ago
- Whooshy GameObject pooling / reuse for Unity.☆14Aug 20, 2020Updated 5 years ago
- Play Schocken in COVID-19 times☆16Jan 9, 2024Updated 2 years ago