A Datalog compiler and library
☆20Jul 1, 2021Updated 5 years ago
Alternatives and similar repositories for panda
Users that are interested in panda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Diavgeia using Semantic Technologies and Permissionless Blockchains☆16Feb 15, 2018Updated 8 years ago
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Aug 4, 2018Updated 8 years ago
- ☆33Apr 17, 2022Updated 4 years ago
- Μεμονωμένα Περιστατικά αστυνομικής βίας☆77May 9, 2021Updated 5 years ago
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The official repo of Doop, the declarative pointer analysis framework.☆227Oct 22, 2026Updated last week
- Spring 2018-2019☆10Jul 20, 2019Updated 7 years ago
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago
- ☆11Sep 23, 2024Updated 2 years ago
- Automatically disassemble emacs buffers containing LLVM bitcode.☆14Oct 8, 2021Updated 5 years ago
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆12Jun 12, 2024Updated 2 years ago
- A library for procedural generation with L-system-derived imperative language☆10May 14, 2018Updated 8 years ago
- Generates a Zero Knowledge Proof that an encrypted value is in a set of known values☆11Sep 11, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Literally.☆17Apr 7, 2026Updated 6 months ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆17Feb 26, 2026Updated 8 months ago
- A Shape Analysis Tool based on Graph Grammars☆14Jul 5, 2026Updated 3 months ago
- drafts and ADRs to align towards the Large Scale Pilot (LSP) usecases. The project is co-funded by the European Union.☆20Oct 26, 2026Updated last week
- Ted is a line oriented text editor and formatter☆12Jun 29, 2020Updated 6 years ago
- A Ruby IO object that can be composed of other IO objects☆13Aug 30, 2020Updated 6 years ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,192Updated this week
- Definition for Pineapple language and its compiler☆25Nov 9, 2018Updated 7 years ago
- A simple OpenID Connect Authorization Server that provides a single user☆25Mar 17, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Instantly share your WIFI connection with your friends, using a QR code☆48Oct 4, 2023Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago
- Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin☆15Sep 30, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/xadd-inference☆11Aug 11, 2016Updated 10 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 10 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Debug Python code within a Docker container remotely from your terminal using pudb☆26Aug 14, 2024Updated 2 years ago
- a raytracer written in applescript☆15Feb 1, 2021Updated 5 years ago
- ☆11Feb 20, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 6 months ago
- Maude MSOS Tool (MMT) is an execution environment for Modular Structural Operational Semantics (MSOS) specifications that brings the powe…☆10Nov 1, 2016Updated 10 years ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- WORK IN PROGRESS - researching on how to do LSP clients for VS code.☆30Jun 17, 2024Updated 2 years ago
- An implementation of the ASPIC+ framework for structured argumentation.☆14Updated this week
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 10 years ago