jdaridis / souffle-lsp-pluginView external linksLinks
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
Sorting:
- ☆34Apr 17, 2022Updated 3 years ago
- Exploring Automatic Music Generation using Transformer encoder-based Language Models☆19Nov 24, 2022Updated 3 years ago
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆80Feb 7, 2026Updated last week
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 3 weeks ago
- ☆10Jun 2, 2020Updated 5 years ago
- File system implementation for the Internet Computer☆11Nov 28, 2025Updated 2 months ago
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago
- Pony bindings for libmysqlclient☆12Jun 5, 2018Updated 7 years ago
- jar or dex tools☆10Mar 24, 2016Updated 9 years ago
- Gatelogic - Somewhat reactive programming framework in Python☆11Sep 25, 2024Updated last year
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- ☆10Oct 9, 2023Updated 2 years ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 2 years ago
- Write a shell in Python☆10Sep 27, 2018Updated 7 years ago
- Functional Iterator for python☆11May 17, 2021Updated 4 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- Sample projects for Quantomatic☆12Apr 25, 2020Updated 5 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Self-contained JBIG2 compressor for PDF files☆14Jul 24, 2017Updated 8 years ago
- LTeX+ Language Server support for Zed☆15Dec 1, 2025Updated 2 months ago
- (All in One) Pty & Terminal package for Go with an encrypted remote shell as example.☆15Apr 23, 2024Updated last year
- Import Haskell modules in Python as if they were native modules☆12Mar 30, 2021Updated 4 years ago
- Datasette plugin for outputting tables in formats suitable for copy and paste☆16Feb 17, 2024Updated last year
- Syntax highlighting in Visual Studio Code☆11Feb 4, 2026Updated last week
- Haskell binding for Menoh DNN inference library☆12Nov 30, 2018Updated 7 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- Generate static parallel computation graph from DSL at compile time☆11Nov 6, 2024Updated last year
- ☆10Jul 9, 2020Updated 5 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- A pure-rust implementation of the GVariant serialisation format☆13Jul 7, 2025Updated 7 months ago
- Confirmed VPN client for Android☆15Jul 30, 2020Updated 5 years ago
- Github mirror of "analytics/kafkatee" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access…☆21Nov 23, 2023Updated 2 years ago
- Add editing UI and other power-user features to Datasette.☆14Mar 4, 2023Updated 2 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Jul 2, 2023Updated 2 years ago