Alternatives and similar repositories for gr-parseval

Users that are interested in gr-parseval are comparing it to the libraries listed below

• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 5 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last month
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 9 years ago
• acarrico / ai-memo
  AI Memo transcript
  ☆23Updated 11 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated this week
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated this week
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆84Updated 6 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 11 years ago
• thephoeron / silver-sword
  Common Lisp interface to D-Wave's Python Pack for adiabatic quantum computer energy programming
  ☆11Updated 10 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• vydd / farcall
  Farcall is a Common Lisp library that lets you expose functions over HTTP using JSON-RPC 2.0
  ☆12Updated 5 years ago
• thephoeron / black-stone
  Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers
  ☆70Updated 8 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆20Updated last year
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• melisgl / micmac
  Common Lisp implementation of various AI/statistics related things.
  ☆16Updated 3 months ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year