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 9 years ago
• ggp-org / ggp-base
  The General Game Playing Base Package
  ☆119Updated 4 years ago
• asayers / tass
  Like less, but for tabular data
  ☆19Updated 2 weeks ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• aoh / blab
  a grammar-based data generator
  ☆59Updated 6 years ago
• chadbrewbaker / awesome-ast
  Tools for AST hacking
  ☆29Updated 6 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• gereeter / hsdecomp
  A decompiler for GHC-compiled Haskell
  ☆106Updated 6 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 2 years ago
• Ludeme / LudiiTutorials
  This repository contains various tutorials for game design and programming with the Ludii general game system.
  ☆15Updated 2 years ago
• sushant94 / libsmt.rs
  Rust Bindings to interact with SMTLIB2 compliant solvers
  ☆16Updated 5 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆113Updated last week
• leanprover / lean-client-js
  ☆38Updated last year
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• vi / syscall_limiter
  Start Linux programs with only selected syscalls enabled (libseccomp-based)
  ☆23Updated 8 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 5 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆39Updated last week
• XVilka / bvim
  The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…
  ☆30Updated 12 years ago
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 5 months ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• sl236 / Piet
  Piet assembler and compiler
  ☆50Updated 6 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 4 months ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 8 months ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• mattias-p / linky
  Extract and check links from Markdown files.
  ☆10Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆36Updated last week