Lecture notes and examples for my class on formal languages and compilers.
☆43Mar 17, 2026Updated last month
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:
- Vorlesungsunterlagen angewandte Mathematik an der DHBW☆14Nov 1, 2025Updated 5 months ago
- A disassembly of Mario and Luigi: Superstar Saga☆13Mar 25, 2018Updated 8 years ago
- Simple toy programming language. Work in progress.☆21Updated this week
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Jul 2, 2021Updated 4 years ago
- ☆12Oct 17, 2020Updated 5 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆18Dec 27, 2025Updated 3 months ago
- 🎲 Bundle of collaborative, open source online games.☆10Jun 6, 2022Updated 3 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 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
- A tool to find the memory address of an environment variable in a binary☆11Jun 23, 2015Updated 10 years ago
- Mirror of http://chriswarbo.net/git/panpipe☆14Dec 4, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Native-friendly API for Haxe targets☆11Aug 24, 2018Updated 7 years ago
- Cross-platform Bible app using Material Design, SWORD, and QML☆15Jun 12, 2016Updated 9 years ago
- Ubuntu Touch synchronization app for AsteroidOS.☆11Mar 2, 2026Updated last month
- A simple Redis-backed distributed virtual filesystem for co-execution of HPC and data analytics workloads☆15Jan 23, 2020Updated 6 years ago
- Suru style for QtQuick Controls 2. Migrated to https://gitlab.com/ubports/core/qqc2-suru-style☆14Nov 23, 2021Updated 4 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
- ADB for Human Beings☆16Jun 15, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆21May 19, 2025Updated 11 months ago
- ☆13Oct 15, 2015Updated 10 years ago
- Mirror of https://gitlab.com/theopenstore/openstore-app☆13Mar 1, 2026Updated last month
- An experimental Kotlin compiler in Rust.☆15May 13, 2020Updated 5 years ago
- Machine Learning from Human Preferences☆32Mar 23, 2026Updated 3 weeks ago
- ☆16Nov 11, 2024Updated last year
- A fast, testless MRG32k3a implementation☆20Nov 2, 2019Updated 6 years ago
- slices 3D models from STL files☆24Apr 28, 2016Updated 9 years ago
- 晚上下班不刷手机，学点什么。系列一：CUDA 计算框架 CUFX (Cuda Framework eXtended)。☆16Dec 15, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- ☆24Oct 8, 2019Updated 6 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
- UbiGraph Server is a system for visualizing dynamic graphs☆12May 10, 2018Updated 7 years ago
- Simple BitTorrent client, currently supporting BEP3 specification.☆11Aug 2, 2023Updated 2 years ago