An LSP implementaion for LR(1) parser generator LALRPOP, written in Rust.
☆14Sep 2, 2026Updated 2 months ago
Alternatives and similar repositories for lalrpop-lsp
Users that are interested in lalrpop-lsp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- Open firmware for the ODI DFP-34X-2C2 GPON SFP stick: Linux 6.18, own drivers and userland☆27Updated this week
- OpenWrt for the Ubiquiti EdgeRouter 4, keeping the hardware flow offload engine: UEK7 5.15 kernel, Cavium ipfwd ported, its own web UI☆12Oct 20, 2026Updated 3 weeks ago
- GPU code optimization using EVOlutionary computation☆10Sep 16, 2024Updated 2 years ago
- PBH-BTN Swarm Accelerator 种群加速计划☆12Mar 16, 2026Updated 7 months 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.
- ☆25Updated this week
- All my dots for Linux installs☆14Jan 19, 2017Updated 9 years ago
- Use Prolog to analyze memory dumps and stopped live processes in WinDbg.☆15Oct 20, 2026Updated 2 weeks ago
- Formal specification of the Haskell Language Report☆35Mar 2, 2026Updated 8 months ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 10 months ago
- ☆11Dec 12, 2020Updated 5 years ago
- GUI for editing nix files☆10May 13, 2026Updated 5 months ago
- A successor bnf parsing library of bnf parsing library, for parsing Extended Backus–Naur form context-free grammars☆16Sep 17, 2025Updated last year
- ☆11Sep 6, 2026Updated 2 months 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.
- C++ examples for the Vulkan graphics API☆12Aug 18, 2025Updated last year
- Designed to replicate the classic CRT monitors, black background with vibrant green text in the dark, while the light has a soft green ba…☆13Feb 24, 2025Updated last year
- A mutual induction tactic for Lean 4.☆33Oct 29, 2026Updated last week
- Haskell binding to WasmEdge Runtime for hosting☆11Mar 27, 2026Updated 7 months ago
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 5 months ago
- This - standardized project tool for running common tasks☆11Dec 8, 2022Updated 3 years ago
- Rust implementation of ESP32 NVS partition generator.☆14Oct 15, 2025Updated last year
- Simple examples to demonstrate full-stack Rust audio plugin dev with baseplug and iced_audio☆15Dec 5, 2021Updated 4 years ago
- A crate to write CMSIS-DAP flash algorithms for flashing embedded targets☆10Jan 3, 2026Updated 10 months 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.
- Listen to your Google Play Music and Soundcloud library from your terminal.☆16Feb 29, 2024Updated 2 years ago
- Typst template mimicking acmart latex class☆35Jan 2, 2026Updated 10 months ago
- Boring and Absurd types☆18May 10, 2026Updated 5 months ago
- qt implementation of wamp protocol. Contains both router and client. Could be used from C++ and QML☆10Dec 30, 2017Updated 8 years ago
- A starter kit for building a Qt/QML app with Quickly☆14Jul 1, 2017Updated 9 years ago
- Generic, unified, architecture-independent, and OS-free page table structures for various hardware architectures.☆13Oct 19, 2026Updated 3 weeks ago
- open-webui-runpod-integration☆17Jan 19, 2025Updated last year
- A category polymorphic `Functor` typeclass.☆11Jul 27, 2026Updated 3 months ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 4 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.
- An online dictionary using youdao dict api. Inspired by wudao-dict.☆19Oct 27, 2026Updated 2 weeks ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- ☆15Mar 29, 2023Updated 3 years ago
- ☆11Apr 10, 2024Updated 2 years ago
- Simple Windows GUI for GHCi.☆20Sep 29, 2015Updated 11 years ago
- My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’☆14Aug 11, 2017Updated 9 years ago
Are these results useful?