A tool for converting context-free grammars to different normal forms.
☆19Feb 7, 2023Updated 3 years ago
Alternatives and similar repositories for cfg-converter
Users that are interested in cfg-converter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 7 months ago
- A cli pixel art generator written in rust☆15Jan 10, 2025Updated last year
- Livro da disciplina de Introdução a Compiladores - UFPB☆20Jul 1, 2019Updated 6 years ago
- ☆13Nov 5, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- a PostgreSQL extension that allows you to set quotas on connections (per user, database or IP)☆13Dec 12, 2014Updated 11 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- 🔧 Rust Distributed File System (RDFS) a toy implementation of Google File System (GFS)☆22May 31, 2025Updated 9 months ago
- Incremental View Maintenance support for DuckDB☆16Oct 24, 2023Updated 2 years ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- PL syntax macros.☆21Mar 19, 2026Updated last week
- ☆12Aug 26, 2024Updated last year
- ☆22Dec 11, 2024Updated last year
- 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.
- 浙江大学Beamer模板☆15May 19, 2022Updated 3 years ago
- ☆14Updated this week
- ☆22Jul 31, 2019Updated 6 years ago
- Main repository for Harvard CS260r 2017.☆12Apr 25, 2017Updated 8 years ago
- Lab assignments for 6.826☆18Oct 20, 2020Updated 5 years ago
- Debianization of lxd to get rid of snap☆12Apr 2, 2024Updated last year
- vscode 插件，显示项目的代码行数统计信息☆18Mar 3, 2023Updated 3 years ago
- Given a Context-Free-Grammar the script will convert it into the selected Normal Form☆10Jun 13, 2018Updated 7 years ago
- [Poor man's Horizontal] Kubernetes Pod Autoscaler with InfluxDB and Graphite as metric source☆12Updated this week
- 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.
- SecretsFoundry is a package to automatically fetch your environment variables from different sources and secret managers. It makes config…☆14Jun 18, 2024Updated last year
- Program Synthesis☆15May 17, 2021Updated 4 years ago
- 📖 Exercicios de Algoritmos da UBL☆34Apr 25, 2025Updated 11 months ago
- Model relationships plugin for Mongoose☆52Feb 9, 2018Updated 8 years ago
- The charts you see in June☆15May 22, 2024Updated last year
- ☆20Aug 30, 2024Updated last year
- KLEEF Symbolic Execution Engine☆23Mar 16, 2026Updated last week
- Advanced Operating Systems project☆21Sep 19, 2025Updated 6 months ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆19Nov 22, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a small C++ lattice library☆15Jan 9, 2020Updated 6 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Aug 12, 2024Updated last year
- Um site para ver assuntos dos quais eu já ensinei ou falei sobre.☆39Mar 16, 2024Updated 2 years ago
- The Centralized Security Platform 🔍 🚀☆13Aug 4, 2025Updated 7 months ago
- Golang Dev Env Dockerfile☆17Mar 29, 2019Updated 7 years ago
- A React Component library implementing the Knit design language☆16Jan 18, 2024Updated 2 years ago
- Python source code cross reference☆17Aug 10, 2016Updated 9 years ago