Alternatives and similar repositories for epsilon

Users that are interested in epsilon are comparing it to the libraries listed below

• philzook58 / snakelog
  A Datalog Framework for Python
  ☆12Updated 2 years ago
• Genivia / Husky
  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
  ☆14Updated 4 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• prolog8 / awkprolog
  Prolog in AWK
  ☆16Updated 8 years ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated last week
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 8 months ago
• timbertson / gup
  A better make, inspired by djb's redo.
  ☆51Updated 9 months ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆43Updated 4 months ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 5 months ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 3 months ago
• breckinloggins / vau
  A programming language
  ☆14Updated 10 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• rain-1 / tests
  tests
  ☆10Updated 6 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated last month
• rewriting / tom
  ☆34Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago