Bidirectional transformation for Relational view update Datalog-based Strategies
☆22Jul 5, 2023Updated 2 years ago
Alternatives and similar repositories for BIRDS
Users that are interested in BIRDS are comparing it to the libraries listed below
Sorting:
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- Are you SATySFi-ed with Nix?☆14Mar 6, 2023Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- A simple Clojure (JVM) library for doing health checks over a given duration.☆13Sep 18, 2022Updated 3 years ago
- Typeset source code with SATySFi☆16Jan 1, 2025Updated last year
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- DOOM demo☆20May 17, 2021Updated 4 years ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- A Clojure library for the fast processing of XML with VTD-XML.☆31Feb 15, 2022Updated 4 years ago
- Inline Haskell inside your Python code☆25Jan 13, 2026Updated last month
- soap - Structural Optimisation of Arithmetic Programs☆24May 9, 2016Updated 9 years ago
- Lambda calculus go brrrr☆31Jun 18, 2023Updated 2 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆40Feb 25, 2026Updated last week
- A Javascript JSON DVCS underpinning a Smalltalk-like image holding code & data in a single HTML file. A bit like Tiddlywiki. Work in prog…☆44Oct 22, 2024Updated last year
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- Sensible data-driven Ring middleware defaults☆31Oct 27, 2022Updated 3 years ago
- Store Terraform state for your GitHub Actions as an encrypted artifact or repository file.☆10Jul 12, 2024Updated last year
- Hyuga - Yet Another Hy Language Server☆33May 23, 2025Updated 9 months ago
- Example use of GitHub Actions with OCaml☆36Updated this week
- ☆22Feb 2, 2026Updated last month
- ☆12Jul 7, 2023Updated 2 years ago
- Discrete Event Simulation Specification☆77Oct 1, 2021Updated 4 years ago
- Unison Codebase UI☆46Jul 19, 2022Updated 3 years ago
- Create controls to edit objects using reflection☆12Nov 7, 2025Updated 3 months ago
- PC based on 65816☆16Jul 9, 2022Updated 3 years ago
- Ansible playbooks for the Deploying Docker Compose Applications article.☆11Jan 24, 2023Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- socat(1) fork with AF_VSOCK support. vsock support is now available with mainline socat 1.7.4 available at http://www.dest-unreach.…☆10Jan 31, 2020Updated 6 years ago
- Real time replication from MySQL to Neo4J using binary logs☆11Nov 13, 2015Updated 10 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Multi-pass compiler and runtime for probabilistic programming.☆46Oct 24, 2025Updated 4 months ago
- Clojure client for Open Policy Agent☆11Dec 12, 2025Updated 2 months ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- Easy to set up stationeers server inside a docker container.☆10May 23, 2023Updated 2 years ago
- Test AsciiDoc and CommonMark code blocks found in articles and docstrings.☆37Jan 20, 2026Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆104Feb 27, 2026Updated last week
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- GIT can make your repo more modular with `git submodule` (as shown in this repo). Here is a utility to send recursive commands through th…☆11Sep 28, 2022Updated 3 years ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Jan 13, 2023Updated 3 years ago