Lecture notes and examples for my class on formal languages and compilers.
☆42Mar 17, 2026Updated 3 months ago
Alternatives and similar repositories for Formal-Languages
Users that are interested in Formal-Languages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A teaching aid library for formal languages and compiler courses☆13May 5, 2026Updated last month
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- A starter kit for building a Qt/QML app with Quickly☆14Jul 1, 2017Updated 8 years ago
- Generate regexes that test arbitrary numbers for divisibility by other numbers,☆26Jun 6, 2019Updated 7 years ago
- Dockerfiles for HDF related containers☆17Sep 4, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Bluetooth Low Energy synchronization daemon for AsteroidOS.☆13Jun 11, 2026Updated 2 weeks ago
- CS6868: Concurrent Programming☆87May 18, 2026Updated last month
- Mirror of http://chriswarbo.net/git/panpipe☆14Dec 4, 2023Updated 2 years ago
- Deep Generative Models course, 2025☆10Jun 5, 2025Updated last year
- A react/redux implementation of an editable property grid.☆10Jun 1, 2017Updated 9 years ago
- Ubuntu Touch synchronization app for AsteroidOS.☆11Mar 2, 2026Updated 3 months ago
- Idiomatic JavaScript API for the Yoga layout engine☆13Jul 11, 2017Updated 8 years ago
- Template for making a click package out of any html5 app☆14Oct 1, 2020Updated 5 years ago
- Progress bar for React and Redux applications☆14May 12, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Settings application and modules for Liri OS☆12Jan 15, 2024Updated 2 years ago
- ☆21May 19, 2025Updated last year
- ☆13Oct 15, 2015Updated 10 years ago
- allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.☆20Jan 22, 2020Updated 6 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- Proposal(s) to make EMF polyglot.☆11Feb 26, 2021Updated 5 years ago
- online compilation and execution of small code snippets☆14Apr 8, 2012Updated 14 years ago
- Mirror of https://gitlab.com/theopenstore/openstore-app☆13Jun 19, 2026Updated last week
- Flavour text and natural language generator☆13Sep 3, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Easy way to generate magic lorem images for your projects☆25Oct 23, 2015Updated 10 years ago
- Quartz UI - A collection of QML widgets with a lightweight theme.☆22Nov 3, 2014Updated 11 years ago
- Reformat SVG files to reduce git diff noise☆17Jul 28, 2020Updated 5 years ago
- 👤 Anonymize IP addresses, works with IPv4 and IPv6☆18Aug 30, 2023Updated 2 years ago
- Machine Learning from Human Preferences☆35Mar 23, 2026Updated 3 months ago
- Java implementation of the Internet Research Lab Web Crawler (IRLbot) as presented by Hsin-Tsang Lee, Derek Leonard, Xiaoming Wang, and D…☆17May 25, 2017Updated 9 years ago
- JavaScript 3D BSP Tree experiment☆21Dec 14, 2025Updated 6 months ago
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- all the materials for cs140e winter 2026☆40Mar 13, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Parsing & evaluating utilities for string templates☆15Sep 28, 2017Updated 8 years ago
- Dart XML Editor☆14Nov 24, 2017Updated 8 years ago
- A Rust implementation of the Handshake and Lightning Network secure messaging protocol - based on Noise.☆14Dec 9, 2019Updated 6 years ago
- Seabass code editor for Ubuntu Touch☆14Apr 27, 2020Updated 6 years ago
- Damn Small Python compiler designed for use on Arduino for educational purposes. Based on LLVM.☆15Jan 29, 2023Updated 3 years ago
- Libraries for building GCC plugins and manipulating the AST.☆13Sep 30, 2014Updated 11 years ago
- Javascript/HTML5 Karaoke (CD+G) Player☆12May 12, 2017Updated 9 years ago