Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
☆14Sep 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☆17Apr 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
- Data structures implemented in C☆20Jan 2, 2022Updated 4 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆30May 19, 2024Updated 2 years ago
- Spring 2018-2019☆10Jul 20, 2019Updated 6 years ago
- A deep learning model to compose classical music using self-attention☆11Jun 24, 2022Updated 3 years ago
- :e-mail: SMS Spam Detection System using Naive Bayes classifier along with sophisticated features☆10Sep 10, 2019Updated 6 years ago
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 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 3 months ago
- Multithreaded TCP Client/Server using Sockets☆11Oct 12, 2018Updated 7 years ago
- 🥞🍴Pancake sorting is a problem of sorting a disordered stack of pancakes in order of size when a spatula can be inserted at any point i…☆11Jun 3, 2019Updated 6 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆372Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆83Updated this week
- A Datalog compiler and library☆19Jul 1, 2021Updated 4 years ago
- A dataset for benchmarking 2D Trackers in Minimally Invasive Surgery (MIS)☆26Dec 29, 2025Updated 4 months ago
- WORK IN PROGRESS - researching on how to do LSP clients for VS code.☆30Jun 17, 2024Updated last year
- micromark extension to support MDX or MDX JS expressions☆12Mar 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 2 years ago
- A rehype MDX plugin for exposing the page title☆17Sep 18, 2025Updated 8 months ago
- An ORC reader for Rust☆12Feb 6, 2023Updated 3 years ago
- CLI tool to manipulate URLs☆17Nov 27, 2023Updated 2 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.
- Blockchain Reader Library☆10Jan 20, 2024Updated 2 years ago
- Strabon is a fully implemented semantic geospatial database system that can be used to store linked geospatial data expressed in RDF and …☆25Jun 28, 2024Updated last year
- ☆12Aug 26, 2024Updated last year
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,089May 4, 2026Updated 3 weeks ago
- rust external sort algorithm implementation☆20May 9, 2025Updated last year
- Engines, queries, and data for dynamic Datalog computation☆135Aug 4, 2021Updated 4 years ago
- A set of mathematical syntax transformation tools.☆13May 16, 2025Updated last year
- Python library providing a Polars DataFrame interface for easy and intuitive access to the Bloomberg API☆22Jan 9, 2026Updated 4 months ago
- Pivoting framework☆16Jun 5, 2016Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆10Oct 9, 2023Updated 2 years ago
- Simple PoC to issue JSON Web Tokens (JWTs) with a canister on the Internet Computer.☆12Sep 10, 2022Updated 3 years ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- ☆11Mar 19, 2022Updated 4 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- ☆14Aug 15, 2023Updated 2 years ago