let-unimi / liblet

Related projects ⓘ

Alternatives and complementary repositories for liblet

• manuelelucchi / Liblet.jl
  A simple library for language and compilers building
  ☆7Updated 4 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• metadsl / python-code-data
  Translate Python's bytecode to data and back again...
  ☆18Updated 3 weeks ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 5 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 4 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 5 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 5 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆13Updated 2 weeks ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 3 years ago
• davidar / stochaskell
  ☆12Updated last year
• dotnwat / fusell-seed
  FUSE (the low-level interface) file system boilerplate
  ☆15Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last month
• dfithian / dfdb
  Write my own database from scratch
  ☆14Updated 3 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated 11 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆12Updated 9 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• bslMS / BusinessSimulation
  Dynamic modeling for business, economics, and ecology using the system dynamics approach
  ☆21Updated 7 months ago
• t2y / pytest-quickcheck
  ☆14Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• gilbo / atl
  A Tensor Language
  ☆55Updated 3 years ago