Alternatives and similar repositories for ebnf-convert

Users that are interested in ebnf-convert are comparing it to the libraries listed below

• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• rain-1 / tarot-compiler
  ☆18Updated 6 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 15 years ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated last year
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆23Updated last year
• hhu-stups / prolog-jupyter-kernel
  A Jupyter kernel for Prolog
  ☆24Updated last year
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 4 years ago
• AppliedLogicSystems / ALSProlog
  ALS Prolog Compiler & Development Environment
  ☆17Updated 3 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆25Updated 3 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Updated 2 years ago
• dharmatech / surfage
  R6RS SRFIs
  ☆26Updated 13 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 5 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated last month
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 4 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆15Updated 4 years ago
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆16Updated 5 years ago
• victorr / jsqueak
  Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.
  ☆23Updated 3 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆24Updated 10 years ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆42Updated 9 months ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Updated 7 years ago
• racket / honu
  ☆19Updated 2 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆107Updated last year
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆28Updated last year
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 7 years ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• dajobe / librdf
  Redland librdf RDF API and triple stores
  ☆102Updated last year