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
- Data structures implemented in C☆21Jan 2, 2022Updated 4 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Spring 2018-2019☆10Jul 20, 2019Updated 7 years 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 7 years ago
- Undergraduate Thesis on Natural Language Processing for Ancient Greek.☆14Mar 25, 2024Updated 2 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆384Updated this week
- Export Python AST to JSON☆25Jun 19, 2021Updated 5 years ago
- ☆15Aug 11, 2022Updated 4 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bluetooth Indoor Positioning with DNNs☆13Mar 28, 2022Updated 4 years ago
- 💉🔐 Novel algorithm for defending against Data Poisoning Attacks in a Federated Learning scenario☆24Apr 22, 2024Updated 2 years ago
- A dataset for benchmarking 2D Trackers in Minimally Invasive Surgery (MIS)☆27Dec 29, 2025Updated 8 months ago
- Continuous Benchmark of Filtering methods for Entity Resolution☆11Jul 20, 2025Updated last year
- UI for JedAI Toolkit☆17May 20, 2022Updated 4 years ago
- Any content related to any talks.☆12Dec 7, 2020Updated 5 years ago
- WORK IN PROGRESS - researching on how to do LSP clients for VS code.☆30Jun 17, 2024Updated 2 years ago
- Efficient String Comparison Functions and Fuzzy String Matching☆21Sep 21, 2025Updated 11 months ago
- ☆19Aug 28, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- Minoan ER is an Entity Resolution (ER) framework, built by researchers in Crete (the land of the ancient Minoan civilization). Entity res…☆18Nov 18, 2020Updated 5 years ago
- Ontop Framework☆21Jun 9, 2018Updated 8 years ago
- Showcase notebooks for getML☆19Jan 20, 2026Updated 7 months ago
- ☆12Aug 26, 2024Updated 2 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,155Jul 13, 2026Updated last month
- Engines, queries, and data for dynamic Datalog computation☆137Aug 4, 2021Updated 5 years ago
- ☆12Sep 29, 2023Updated 2 years ago
- A Git remote helper for the Internet Computer Protocol.☆12Feb 23, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆28May 27, 2023Updated 3 years ago
- Convert latex to svg☆12Oct 26, 2022Updated 3 years ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- Simple PoC to issue JSON Web Tokens (JWTs) with a canister on the Internet Computer.☆12Sep 10, 2022Updated 3 years ago
- ☆11Mar 19, 2022Updated 4 years ago
- Apply major Reinforcement Learning algorithms (DQN,PPO,A2C) to CarRacing-v0 from GymAI environment.☆28Jan 4, 2022Updated 4 years ago
- ☆10Jul 9, 2020Updated 6 years ago