Alternatives and similar repositories for gdl-parser

Users that are interested in gdl-parser are comparing it to the libraries listed below

• gsingh93 / ggp-rs
  A library for creating GGP (general game playing) players in Rust
  ☆13Updated 10 years ago
• ggp-org / ggp-base
  The General Game Playing Base Package
  ☆120Updated 4 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• chadbrewbaker / awesome-ast
  Tools for AST hacking
  ☆29Updated 6 years ago
• makenowjust / bf.jq
  Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!
  ☆41Updated 10 years ago
• aoh / blab
  a grammar-based data generator
  ☆60Updated 6 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆86Updated last year
• hoshir / zebra
  Othello program created by Gunnar Andersson - This is a copy of the original code -
  ☆15Updated 11 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• bnagy / afl-launch
  Boring tool to launch multiple afl-fuzz instances
  ☆50Updated 7 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆41Updated last year
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 7 years ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆30Updated 2 years ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• purarue / exobrain
  something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing
  ☆19Updated this week
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• djvelleman / HTPILeanPackage
  ☆30Updated last week
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 7 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated last week
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆34Updated last month
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆93Updated 2 weeks ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆52Updated 5 months ago
• MozillaSecurity / lithium
  Line-based testcase reducer
  ☆97Updated 2 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆42Updated this week