Alternatives and similar repositories for bx-parsing

Users that are interested in bx-parsing are comparing it to the libraries listed below

• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆60Updated 7 years ago
• axch / adaptive-plot
  A library for intelligently plotting functions from the MIT Scheme REPL.
  ☆21Updated 12 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 9 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆32Updated last month
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆22Updated 10 years ago
• samer-- / prolog
  Prolog stuff
  ☆27Updated 6 years ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• ozooxo / Schemannian
  A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…
  ☆16Updated 11 years ago
• wedesoft / aiscm
  Guile numerical arrays and tensor extension
  ☆58Updated 2 months ago
• darius / cant
  A programming argot
  ☆57Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• rfindler / lindenmayer
  ☆27Updated 2 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆87Updated 4 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated this week
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆82Updated last year
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 10 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆19Updated 7 years ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆45Updated last year
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆24Updated 6 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆39Updated 7 years ago
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆102Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago