Lecture notes and examples for my class on formal languages and compilers.
☆43Mar 17, 2026Updated last week
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:
- 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 10 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆17Dec 27, 2025Updated 3 months ago
- Generate regexes that test arbitrary numbers for divisibility by other numbers,☆26Jun 6, 2019Updated 6 years ago
- qt implementation of wamp protocol. Contains both router and client. Could be used from C++ and QML☆10Dec 30, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- CodeFeedr core infrastructure☆10Nov 10, 2020Updated 5 years ago
- Dockerfiles for HDF related containers☆17Sep 4, 2024Updated last year
- ALSA for your snap package routing sound through Pulseaudio!☆11Jul 1, 2022Updated 3 years ago
- Acceptance testing with Cucumber using a git-based wiki to store feature stories☆89Feb 19, 2016Updated 10 years ago
- Visually explore your JMH benchmarks on Jenkins!☆14Aug 6, 2024Updated last year
- HTML tooltip for Leaflet, supporting a range of configuration options.☆15Dec 14, 2015Updated 10 years ago
- Project Dashboard for Ubuntu Touch☆25Aug 4, 2014Updated 11 years ago
- A simple tasks app for Material Design☆13Mar 4, 2015Updated 11 years ago
- A simple Redis-backed distributed virtual filesystem for co-execution of HPC and data analytics workloads☆15Jan 23, 2020Updated 6 years 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.
- Idiomatic JavaScript API for the Yoga layout engine☆13Jul 11, 2017Updated 8 years ago
- Simple implementation of an AABB Tree (Axis Aligned Bounding Box Tree) to optimize 3d collision detection☆10Oct 22, 2024Updated last year
- Suru style for QtQuick Controls 2. Migrated to https://gitlab.com/ubports/core/qqc2-suru-style☆14Nov 23, 2021Updated 4 years ago
- Progress bar for React and Redux applications☆14May 12, 2023Updated 2 years ago
- A template to run Python applications (via pyotherside) on your Ubuntu device. Includes libs for armhf, x86 and x86_64.☆10Jul 12, 2015Updated 10 years ago
- Settings application and modules for Liri OS☆12Jan 15, 2024Updated 2 years ago
- allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.☆20Jan 22, 2020Updated 6 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 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Flavour text and natural language generator☆13Sep 3, 2017Updated 8 years ago
- An experimental Kotlin compiler in Rust.☆15May 13, 2020Updated 5 years ago
- A fast, testless MRG32k3a implementation☆20Nov 2, 2019Updated 6 years ago
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago
- JavaScript 3D BSP Tree experiment☆21Dec 14, 2025Updated 3 months ago
- Mozilla's BrowserQuest revisited.☆12Jul 4, 2025Updated 8 months ago
- Command-line tool for interacting with Pancake.☆14Mar 9, 2014Updated 12 years ago
- cross-platform Rust API for memory mapped IO☆10Sep 25, 2020Updated 5 years ago
- 🐜 A small taskrunner written in Lua☆11Mar 16, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Stream commit objects from git log☆27Jul 16, 2024Updated last year
- Dart XML Editor☆15Nov 24, 2017Updated 8 years ago
- Seabass code editor for Ubuntu Touch☆14Apr 27, 2020Updated 5 years ago
- Python module for using callbacks to resume your code☆15May 17, 2021Updated 4 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- Damn Small Python compiler designed for use on Arduino for educational purposes. Based on LLVM.☆15Jan 29, 2023Updated 3 years ago
- Static site generation heuristics for Pancake.io☆12Oct 12, 2017Updated 8 years ago