Efficient, opinionated remote LSP client for notebooks
☆15May 23, 2025Updated last year
Alternatives and similar repositories for waxtablet
Users that are interested in waxtablet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The last-write-wins register CRDT☆18Nov 10, 2024Updated last year
- A fast Nu package and project manager, written in Rust.☆16Aug 4, 2026Updated 2 months ago
- Static blog engine☆37Apr 5, 2012Updated 14 years ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- A node.js-based parallel REST client for speedy API calls☆11Oct 12, 2011Updated 15 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.
- A concise AST for POSIX shell☆11Nov 21, 2025Updated 10 months ago
- High-availability network proxy / VPN server, powered by WireGuard☆242Updated this week
- A personal app platform: one-off software for exactly one user — built, maintained, and operated by LLM agents. Steal the idea before you…☆29Oct 11, 2026Updated last week
- schlich's dev container features. Only guaranteed to work to the extent the features are tested -- please open a PR or issue for suggeste…☆12Mar 30, 2026Updated 6 months ago
- Simple, fast, nix.☆15Jan 25, 2022Updated 4 years ago
- Factorseal is a local secrets vault for Linux, macOS, and Windows.☆78Updated this week
- Library for querying in-memory facts using datalog☆13May 19, 2025Updated last year
- Digital rain effect implementation for Nushell☆12Sep 25, 2024Updated 2 years ago
- ☆72Updated this week
- 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.
- Polars helper methods to enhance developer productivity☆14Sep 8, 2024Updated 2 years ago
- Mars Terminal: a Rio-derived, Ghostty-inspired Rust terminal emulator focused on Kitty protocols, modern graphics, Nix packaging, and Yaz…☆25Oct 11, 2026Updated last week
- Version ranges for nixpkgs, solved by clingo over the nixpkgs-multiverse history index.☆51Sep 3, 2026Updated last month
- A variety of methods for making a drawing canvas UIView for iPhone and iPad. Objective-C.☆26Jul 25, 2021Updated 5 years ago
- hikalium's lifestyle guide☆14Feb 16, 2025Updated last year
- Image building for Liquid Metal projects.☆29Dec 5, 2025Updated 10 months ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- A Zellij plugin to browse, select, and execute commands from playbook files directly in the terminal.☆20Sep 1, 2025Updated last year
- Dr Sven is a **data health checker** which performs a checkup on your data to give you a simple indication of whether it's in good shape…☆12May 13, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Hey! An Interruption and Time Tracking Command line app.☆13Nov 19, 2024Updated last year
- ☆46Aug 16, 2025Updated last year
- ☆10Aug 22, 2021Updated 5 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆15Jul 21, 2020Updated 6 years ago
- 🌌 A very small graph database in Zig☆38Jun 17, 2026Updated 4 months ago
- Fancy reprs for Xarray objects in Jupyter notebooks (experimental)☆12Dec 19, 2025Updated 9 months ago
- ☆12Sep 7, 2026Updated last month
- Keep Python on your laptop. Run PyTorch operations and hold tensors on a remote GPU, including from a Mac with no CUDA installation.☆77Updated this week
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆26Updated this week
- 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.
- clucene bindings for nodejs☆18Aug 1, 2011Updated 15 years ago
- Fast Nix evaluator and remote-build client in Rust☆27Updated this week
- Hatch plugin to integrate ProperDocs and infer dependencies into an env☆17Mar 16, 2026Updated 7 months ago
- MOVED TO CODEBERG minimal live coding dsp with assemblyscript☆16Aug 23, 2025Updated last year
- declarative self-improving language-model programs for Elixir 😇☆257Updated this week
- A type-safe, monadic probabilistic programming library for Rust☆15Oct 8, 2026Updated last week
- My personal website and blog, written as a server-side rendered Rust app using axum☆13May 20, 2026Updated 4 months ago