☆34Apr 17, 2022Updated 3 years ago
Alternatives and similar repositories for intellij-datalog
Users that are interested in intellij-datalog are comparing it to the libraries listed below
Sorting:
- 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 2 years ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- ☆10Jul 9, 2020Updated 5 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆16Feb 26, 2026Updated last week
- A Datalog compiler and library☆19Jul 1, 2021Updated 4 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Jul 2, 2023Updated 2 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆205Updated this week
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 4 years ago
- Simple Prolog to JS transpiler☆20Oct 19, 2012Updated 13 years ago
- Spring 2018-2019☆17Jul 8, 2019Updated 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,056Dec 10, 2025Updated 2 months ago
- ☆28May 19, 2024Updated last year
- ☆30Feb 4, 2026Updated last month
- Linguistic Reconstruction with LingPy☆15Aug 5, 2024Updated last year
- ☆11Sep 6, 2024Updated last year
- what-you-see-is-what-you-do columnar data serialization library for java☆11Updated this week
- A periodic table plugin for Nushell.☆15Aug 25, 2025Updated 6 months ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- (All in One) Pty & Terminal package for Go with an encrypted remote shell as example.☆15Apr 23, 2024Updated last year
- Awesome LLM for Cybersecurity☆11Nov 16, 2024Updated last year
- ☆11Mar 19, 2022Updated 3 years ago
- A Dependency Injection Container for node.js☆49Mar 28, 2015Updated 10 years ago
- The Grammar Matrix☆15Jan 22, 2026Updated last month
- jar or dex tools☆10Mar 24, 2016Updated 9 years ago
- 《Web安全教程之XXE漏洞》XML External Entity Injection.☆11Nov 1, 2025Updated 4 months ago
- Data validation library for Erlang☆26Oct 13, 2018Updated 7 years ago
- Demo project to show how diKTat or KTlint rule-sets can fix style issues in your code.☆14Mar 28, 2023Updated 2 years ago
- Draft cell type definitions from data - candidates for inclusion in CL☆12Jul 8, 2025Updated 8 months ago
- ☆12Feb 20, 2021Updated 5 years ago
- An implementation of the Simultaneous Combat System for Foundry VTT.☆11Nov 10, 2022Updated 3 years ago
- Code for the paper "Large Language Models Share Representations of Latent Grammatical Concepts Across Typologically Diverse Languages" (N…☆17Apr 13, 2025Updated 10 months ago
- A GitHub Action to check your code with diKTat☆10Dec 25, 2023Updated 2 years ago
- Tools and scripts for working with ELAN☆10Aug 4, 2022Updated 3 years ago
- A Mercury CSV library.☆13Feb 18, 2026Updated 2 weeks ago
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 8 months ago
- Haskell bindings for the Souffle datalog language☆104May 16, 2024Updated last year
- A points-to and alias analysis benchmark suite☆41Sep 24, 2018Updated 7 years ago
- Grid Forms integration for newforms☆27Mar 11, 2015Updated 10 years ago
- Access public biological ontologies.☆15Aug 7, 2024Updated last year