LL1Checker: A tool to verify if a grammar is LL(1) and to validate input strings against the generated language. Ideal for learning about parsing techniques, compiler design, and formal language theory. Try it out or contribute to improve its functionality!
☆23Oct 12, 2025Updated last year
Alternatives and similar repositories for LL1Checker
Users that are interested in LL1Checker 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 Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- Try Metapost quickly and easily with our online sandbox application!☆12Feb 14, 2026Updated 7 months ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Small Prolog☆15Dec 8, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AIX5-IA64: A modest collection of compiled software for IBM AIX 5.1L for Itanium (IA-64), previously known as Project Monterey.☆16Oct 30, 2022Updated 3 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- Garbage collection for Ada☆15Jan 15, 2023Updated 3 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 12, 2026Updated 6 months ago
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆11Mar 13, 2023Updated 3 years ago
- SPIN operating system☆14Dec 13, 2012Updated 13 years ago
- A VM that uses LFSR instead of a normal program counter that runs Forth☆17Sep 30, 2026Updated last week
- Drawing pictures on oscilloscope using VGA port☆13Apr 25, 2022Updated 4 years ago
- 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.
- ☆17Jan 3, 2025Updated last year
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 5 years ago
- NewtonScript☆13Updated this week
- PDP-10 backend for GCC 3.2☆20Sep 17, 2014Updated 12 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated 2 years ago
- Implementation of C-based METAFONT☆11Sep 5, 2017Updated 9 years ago
- A collection of PDF documents related to the console. Mainly specifications and guides.☆19Apr 2, 2025Updated last year
- Open source N64 library for 3D graphics (WIP)☆19Sep 19, 2021Updated 5 years ago
- An experimental CPU core with 8-bit instruction words and 32-bit registers☆20Jul 6, 2026Updated 3 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.
- ☆22May 6, 2025Updated last year
- Boron is a scripting language similar to Rebol. The interpreter is a C library which may be copied under the terms of the LGPLv3. (Mirror…☆24Aug 26, 2022Updated 4 years ago
- 🧊 TeX-подібна система верстки наукових праць☆21Mar 23, 2026Updated 6 months ago
- Bellcore MGR, from version 0.69☆25Feb 26, 2023Updated 3 years ago
- Paradigms of Armenian conjugation classes, and sample verb list☆18Apr 13, 2022Updated 4 years ago
- a simulation . of a vector display ! ya! (also a color crt tv mode)☆26Nov 12, 2024Updated last year
- Tiny Object Run Time☆24May 24, 2015Updated 11 years ago
- Run m68k Classic MacOS binaries in an emulated MPW environment. Runs Apple NewtonOS related tools on modern macOS, Linux and MSWindows sy…☆20Oct 1, 2026Updated last week
- 3.3V ⇄ 5V level adapter for PocketBeagle, and an application or two☆18Sep 14, 2021Updated 5 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.
- Track OIDC, provenance, and staged publishing adoption across high-impact npm packages.☆36Updated this week
- cpm-vax: CP/M-VAX is a port of CP/M-68K to the VAXstation 2000 by Roger Ivie☆21Dec 3, 2023Updated 2 years ago
- Bridge program for various Chaosnet link implementations.☆26Aug 11, 2026Updated 2 months ago
- An updated version of the great rxvt-unicode☆28May 28, 2026Updated 4 months ago
- Utilities for typsetting Ancient Egyptian hieroglyphs in LaTeX☆21Dec 27, 2018Updated 7 years ago
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago
- A collection of awesome OpenSCAD projects☆22May 25, 2022Updated 4 years ago