Language server for the Bend programming language
☆17Oct 18, 2024Updated last year
Alternatives and similar repositories for bend-language-server
Users that are interested in bend-language-server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An interaction combinator runtime☆18Sep 23, 2024Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆85Feb 17, 2017Updated 9 years ago
- GitHub Pages for Kernel Self Protection Project☆24Nov 8, 2025Updated 5 months ago
- for learning purposes☆17Apr 19, 2026Updated 2 weeks ago
- Awesome list of IHP links & projects. 😎☆14Jan 13, 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.
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Telethon inspired chatbot class for LXMF protocol☆18Dec 19, 2025Updated 4 months ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Nov 21, 2021Updated 4 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- ☆12Mar 19, 2022Updated 4 years ago
- reqwest ♡ oauth1-request☆19Aug 28, 2024Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Apr 14, 2026Updated 3 weeks ago
- ASCII art animation library in Javascript using Canvas☆11Sep 3, 2024Updated last year
- A LLVM-based compiled language.☆12Oct 13, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A sample Warehouse management app in Common Lisp☆14Aug 1, 2021Updated 4 years ago
- placeholder repo so we can pass `github:boolean-option/true` as a flake input; archived to prevent modification☆15Jul 13, 2022Updated 3 years ago
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- ☆12Apr 25, 2026Updated last week
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 2 years ago
- Turn your Vaultwarden database into Prometheus metrics☆20Apr 1, 2026Updated last month
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 3 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- 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.
- A general syntax highlighter that can render syntax highlighting tokens.☆16Feb 17, 2024Updated 2 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 13 years ago
- Decentralized password manager☆21Oct 10, 2021Updated 4 years ago
- JS→WASM☆89Updated this week
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- dired + fp☆13Mar 22, 2026Updated last month
- A toy C Compiler implemented by Rust.☆19Feb 4, 2023Updated 3 years ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆14Nov 5, 2011Updated 14 years ago
- Simple HTTP request library for Zig applications☆13Dec 30, 2024Updated last year
- 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.
- GeekyWeb is a website from where you can learn different programming languages☆13Apr 1, 2024Updated 2 years ago
- Fabric Loader for 1.8.9 and below☆13Jun 13, 2022Updated 3 years ago
- MachO editor / disassembler. No internet, no os requirements, just need a browser ;)☆12May 13, 2019Updated 6 years ago
- 𝐧𝐝 A small programming language with an interpreter, and a WebAssembly compiler.☆16Jun 8, 2024Updated last year
- PoC: A rusty Option for TypeScript.☆21Feb 12, 2025Updated last year
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- The unified plugin used to highlight code block in html with Prism☆13Oct 29, 2024Updated last year