Lecture notes and examples for my class on formal languages and compilers.
☆49Oct 21, 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:
- UbiGraph Server is a system for visualizing dynamic graphs☆12May 10, 2018Updated 8 years ago
- A simple package allowing to use WebGraph data in Python (via the Jython interpreter).☆20Oct 21, 2020Updated 6 years ago
- A DFA/NFA library that is fast and easy to use☆10Sep 29, 2014Updated 12 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated 2 years ago
- data structure and algorithms notes focused specially for placements☆19Updated this week
- 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.
- qt implementation of wamp protocol. Contains both router and client. Could be used from C++ and QML☆10Dec 30, 2017Updated 8 years ago
- Generate regexes that test arbitrary numbers for divisibility by other numbers,☆25Jun 6, 2019Updated 7 years ago
- ☆12Dec 8, 2024Updated last year
- HTML tooltip for Leaflet, supporting a range of configuration options.☆13Dec 14, 2015Updated 10 years ago
- "A system of logical instructions that an automaton can carry out and which causes the automaton to perform some organized task is called…☆15Jul 29, 2019Updated 7 years ago
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- A complete resource hub for Operating System course including notes, labs, and study materials.☆20Jul 31, 2025Updated last year
- Default set of wallpapers for AsteroidOS under CC BY 2.0☆11Jul 2, 2026Updated 3 months ago
- workshop materials and experiments for property based testing workshop at joy of coding 2015☆12Sep 28, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Idiomatic JavaScript API for the Yoga layout engine☆13Jul 11, 2017Updated 9 years ago
- PCM Web Player through Web Audio API☆12Feb 13, 2019Updated 7 years ago
- various collected notes, some copy/pasted from elsewhere, but mostly original☆11Jun 28, 2016Updated 10 years ago
- ☆13Oct 15, 2015Updated 11 years ago
- A simple Redis-backed distributed virtual filesystem for co-execution of HPC and data analytics workloads☆16Jan 23, 2020Updated 6 years ago
- IIT CS 535. Design and Analysis of Algorithm. All Assignment Solution , and all the course material . Illinois Institute of technology ht…☆10May 3, 2019Updated 7 years ago
- TA lecture notes for UCLA Spring 2025 COM SCI 143: Database Management Systems☆13Nov 17, 2025Updated 11 months ago
- Template for making a click package out of any html5 app☆14Oct 1, 2020Updated 6 years ago
- URL parsing in javascript with validation, normalization, and matching.☆16Oct 27, 2011Updated 15 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple implementation of an AABB Tree (Axis Aligned Bounding Box Tree) to optimize 3d collision detection☆10Oct 22, 2024Updated 2 years ago
- My IIITH Resources☆11Jan 19, 2022Updated 4 years ago
- Native desktop client for slack.com☆10May 23, 2018Updated 8 years ago
- Contains Lab Sheets and their Solutions and the Assignment Files which were done during the Course☆11Jan 3, 2024Updated 2 years ago
- Homework solutions for the book - Operating Systems: Three Easy Pieces☆13Aug 10, 2024Updated 2 years ago
- Pitt CS 1699 - Lectures and Notes☆14Apr 14, 2015Updated 11 years ago
- Proposal(s) to make EMF polyglot.☆11Feb 26, 2021Updated 5 years ago
- Self-study notes of Bishop's book Pattern Recognition and Machine Learning☆11May 25, 2019Updated 7 years ago
- Comprehensive lecture notes for CME 295 - Transformers & Large Language Models (2025)☆20Jan 10, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Linear Algebra Notes for MATH115 Students☆11Dec 15, 2017Updated 8 years ago
- This repository contains my hand written notes of computer Networking. These notes have everything about computer networking you need to …☆12Sep 20, 2022Updated 4 years ago
- Dockerfiles for HDF related containers☆17Sep 4, 2024Updated 2 years ago
- A collection of resources for CS 2051, an undergraduate Honors Discrete Mathematics course at Georgia Tech.☆11Apr 29, 2026Updated 6 months ago
- Computer Networks (CS31006), Database Management Systems (CS43002), Environmental Science (EV20001), Operating Systems (CS30002), Princip…☆13Sep 6, 2021Updated 5 years ago
- Academic material collected for grand viva (excluding personal notes)☆12Jun 8, 2021Updated 5 years ago
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago