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
Alternatives and similar repositories for souffle-lsp-plugin
Users that are interested in souffle-lsp-plugin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- ☆33Apr 17, 2022Updated 4 years ago
- Exploring Automatic Music Generation using Transformer encoder-based Language Models☆19Nov 24, 2022Updated 3 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 5 years ago
- A deep learning model to compose classical music using self-attention☆11Jun 24, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A binary lifter and analysis framework for Ethereum smart contracts☆386Sep 14, 2026Updated last week
- Export Python AST to JSON☆25Jun 19, 2021Updated 5 years ago
- Spring 2018-2019☆17Jul 8, 2019Updated 7 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆85Updated this week
- 💉🔐 Novel algorithm for defending against Data Poisoning Attacks in a Federated Learning scenario☆24Apr 22, 2024Updated 2 years ago
- WORK IN PROGRESS - researching on how to do LSP clients for VS code.☆30Jun 17, 2024Updated 2 years ago
- micromark extension to support MDX or MDX JS expressions☆13Mar 24, 2025Updated last year
- plugin to make sure there is a single top level heading in a document by adjusting heading ranks accordingly☆13Sep 21, 2023Updated 3 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,172Jul 13, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Engines, queries, and data for dynamic Datalog computation☆137Aug 4, 2021Updated 5 years ago
- ☆12Sep 29, 2023Updated 2 years ago
- A set of mathematical syntax transformation tools.☆13May 16, 2025Updated last year
- Pivoting framework☆16Jun 5, 2016Updated 10 years ago
- ☆28May 27, 2023Updated 3 years ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- ☆11Mar 19, 2022Updated 4 years ago
- ☆10Jul 9, 2020Updated 6 years ago
- jar or dex tools☆10Mar 24, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆29May 20, 2020Updated 6 years ago
- ExFAT implementation with rust☆24Jun 16, 2026Updated 3 months ago
- A symbolic execution engine for EVM smart contract binaries.☆123Dec 2, 2025Updated 9 months ago
- File system implementation for the Internet Computer☆11Sep 1, 2026Updated 3 weeks ago
- Tool for dumping the schema and data from a database. Compatible with JDBC-compliant databases by using java.sql.DatabaseMetaData feature…☆20Updated this week
- A visual "hashing" algorithm written in JavaScript, mostly for client-side use.☆18Jun 7, 2019Updated 7 years ago
- 一个常用编码加解密的懒人工具，自动识别，尝试转换所有类型，包括html实体化，base64，base32，32位md5，16位md5，hash，\x,0x等十六进制格式,url编码...☆15Feb 1, 2022Updated 4 years ago
- A project management tool on the Internet Computer made by @esensconsulting☆12Apr 18, 2023Updated 3 years ago
- dGraph ORM written in TypeScript☆17Jan 11, 2023Updated 3 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.
- This repo contains the lazyFuzzer and the Report on the output from the same☆17Oct 26, 2019Updated 6 years ago
- An analyzer of JNI code that matches native code information with Java code☆24Nov 12, 2021Updated 4 years ago
- 离线文档库☆14Jun 17, 2020Updated 6 years ago
- dstar II exchange☆11Feb 14, 2024Updated 2 years ago
- CVE漏洞挖掘 (CVE Vulnerability Hunting), by Tr0e.☆18Jun 21, 2025Updated last year
- A Pure Rust Implementation of SHA-256 Algorithm☆19Jul 10, 2021Updated 5 years ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 3 years ago