Alternatives and similar repositories for liblet

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

• triska / simsttab
  Simple timetabling engine for schools
  ☆28Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 9 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆91Updated last week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆15Updated last month
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆52Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 7 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 10 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated 3 weeks ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 8 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated 2 weeks ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆70Updated this week
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆20Updated 2 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆18Updated last year