Alternatives and similar repositories for liblet

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

• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last week
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 2 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 3 weeks ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆94Updated 2 months ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆144Updated 3 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆44Updated 12 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆89Updated this week
• ryneeverett / mkcodes
  A command-line utility for pulling code blocks out of markdown files.
  ☆14Updated 4 years ago
• benediktahrens / CT4P
  ☆35Updated 2 weeks ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 3 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 2 months ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated last week