jose-rZM / LL1CheckerView external linksLinks
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 4 months ago
Alternatives and similar repositories for LL1Checker
Users that are interested in LL1Checker are comparing it to the libraries listed below
Sorting:
- Soho vibes for COSMIC Desktop☆13Nov 5, 2025Updated 3 months ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- A dark retro theme for Zola☆31Dec 29, 2025Updated last month
- 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 8 years ago
- A little (< 300 loc), incomplete TCL interpreter☆13Mar 3, 2017Updated 8 years ago
- Paradigms of Armenian conjugation classes, and sample verb list☆16Apr 13, 2022Updated 3 years ago
- Emacs major mode for the pikchr diagram markup language☆18Nov 27, 2024Updated last year
- Try Metapost quickly and easily with our online sandbox application!☆11Mar 22, 2025Updated 10 months ago
- ☆16Jun 25, 2019Updated 6 years ago
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 4 years ago
- Implementation of C-based METAFONT☆12Sep 5, 2017Updated 8 years ago
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago
- Small Prolog☆14Dec 8, 2016Updated 9 years ago
- A collection of PDF documents related to the console. Mainly specifications and guides.☆19Apr 2, 2025Updated 10 months ago
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆10Mar 13, 2023Updated 2 years ago
- SPIN operating system☆14Dec 13, 2012Updated 13 years ago
- CADR4 -- accurate model of the MIT CADR☆19Aug 25, 2025Updated 5 months ago
- ☆14Jul 10, 2024Updated last year
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- ☆21Oct 12, 2025Updated 4 months ago
- Dark GTK theme based on the Nord color palette <3☆13Apr 11, 2019Updated 6 years ago
- Material provided by Jeremy Saenz (@CodeGangsta): Source Code for the Free Online Book Building Web Apps in Go.☆15Mar 2, 2016Updated 9 years ago
- 3.3V ⇄ 5V level adapter for PocketBeagle, and an application or two☆18Sep 14, 2021Updated 4 years ago
- ☆13Jun 13, 2021Updated 4 years ago
- PDP-10 backend for GCC 3.2☆21Sep 17, 2014Updated 11 years ago
- A LISP compiler and interpreter written in Rust.☆20Nov 9, 2024Updated last year
- Stremio addon SDK using rust, stremio-core and hyper☆18Jun 14, 2024Updated last year
- Hi! This is is my Arch Gnome Rice☆17Mar 20, 2022Updated 3 years ago
- Run m68k Classic MacOS binaries in an emulated MPW environment. Runs Apple NewtonOS related tools on modern macOS, Linux and MSWindows sy…☆19Sep 11, 2023Updated 2 years ago
- A Visual Studio Code plugin for working with Just.☆17May 28, 2022Updated 3 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- OpenBuilds Library for OpenSCAD☆18Dec 30, 2021Updated 4 years ago
- Open source N64 library for 3D graphics (WIP)☆17Sep 19, 2021Updated 4 years ago
- cpm-vax: CP/M-VAX is a port of CP/M-68K to the VAXstation 2000 by Roger Ivie☆20Dec 3, 2023Updated 2 years ago
- Utilities for typsetting Ancient Egyptian hieroglyphs in LaTeX☆21Dec 27, 2018Updated 7 years ago