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 10 months ago
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 low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- Try Metapost quickly and easily with our online sandbox application!☆11Feb 14, 2026Updated 6 months ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A little (< 300 loc), incomplete TCL interpreter☆13Mar 3, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Small Prolog☆15Dec 8, 2016Updated 9 years ago
- ☆16Jun 25, 2019Updated 7 years ago
- AIX5-IA64: A modest collection of compiled software for IBM AIX 5.1L for Itanium (IA-64), previously known as Project Monterey.☆14Oct 30, 2022Updated 3 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- Garbage collection for Ada☆12Jan 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 4 months ago
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆10Mar 13, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SPIN operating system☆14Dec 13, 2012Updated 13 years ago
- A VM that uses LFSR instead of a normal program counter that runs Forth☆17Apr 14, 2026Updated 3 months ago
- Drawing pictures on oscilloscope using VGA port☆13Apr 25, 2022Updated 4 years ago
- ☆16Jan 3, 2025Updated last year
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 5 years ago
- NewtonScript☆13Dec 27, 2024Updated last year
- PDP-10 backend for GCC 3.2☆20Sep 17, 2014Updated 11 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated last year
- Implementation of C-based METAFONT☆11Sep 5, 2017Updated 8 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.
- Emacs major mode for the pikchr diagram markup language☆18Nov 27, 2024Updated last year
- Open source N64 library for 3D graphics (WIP)☆19Sep 19, 2021Updated 4 years ago
- An experimental CPU core with 8-bit instruction words and 32-bit registers☆20Jul 6, 2026Updated last month
- ☆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 3 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 23, 2026Updated 4 months ago
- Bellcore MGR, from version 0.69☆25Feb 26, 2023Updated 3 years ago
- Paradigms of Armenian conjugation classes, and sample verb list☆17Apr 13, 2022Updated 4 years ago
- Rust powered background process CLI task manager☆15May 2, 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.
- Run m68k Classic MacOS binaries in an emulated MPW environment. Runs Apple NewtonOS related tools on modern macOS, Linux and MSWindows sy…☆20Mar 21, 2026Updated 4 months ago
- An updated version of the great rxvt-unicode☆23May 28, 2026Updated 2 months ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- 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.☆26Updated this week
- ☆16Jul 10, 2024Updated 2 years ago
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago