notchairmk / zed-sorbetView external linksLinks
Sorbet extension for Zed
☆13Jun 6, 2025Updated 8 months ago
Alternatives and similar repositories for zed-sorbet
Users that are interested in zed-sorbet are comparing it to the libraries listed below
Sorting:
- Go SDK for the Bare Metal Cloud API☆14Dec 20, 2025Updated last month
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- My personal blog.☆14Updated this week
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Dec 15, 2025Updated 2 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- A single package (command line tool and library) in Java to validate, simulate, translate and analyse NeuroML 2 models☆12Feb 12, 2025Updated last year
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- ☆13Jun 10, 2021Updated 4 years ago
- ☆12Nov 27, 2025Updated 2 months ago
- React hook to make promises cancelable and safe☆10Jan 5, 2023Updated 3 years ago
- Rust bindings for Ultralight: Lightweight, high-performance HTML renderer☆15Dec 31, 2024Updated last year
- Merge PRs on a specified date using Labels☆12Jan 9, 2023Updated 3 years ago
- its a car washing app that provides you car wash services at your door steps with just few clicks☆11Feb 6, 2020Updated 6 years ago
- ☆13May 16, 2025Updated 9 months ago
- ☆10Nov 25, 2021Updated 4 years ago
- ⚪️ `wasm-pack build` executed in remote deployment☆14Jan 3, 2022Updated 4 years ago
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago
- Simple dependency injection for Deno TypeScript projects.☆13Oct 10, 2021Updated 4 years ago
- Quickly insert debugger statements into your buffer based on filetype.☆10May 5, 2020Updated 5 years ago
- A functional JS framework that values elegance, simplicity and minimalism.☆13Sep 26, 2024Updated last year
- 🖲 Beacon: DevTools☆10Feb 12, 2024Updated 2 years ago
- This is Git Character Counter. Calculates the number of characters added based on the results of Git Diff. By measuring the number of cha…☆10Feb 7, 2022Updated 4 years ago
- Archive the content of your pinboard bookmarks as notes in your evernote account.☆21Mar 8, 2014Updated 11 years ago
- Simple library that allows for simple method of asking for screenshots from various Linux/BSD desktops☆10Jun 13, 2019Updated 6 years ago
- A dead simple artillery calculator for the video game Hell Let Loose☆12Jan 6, 2026Updated last month
- Documentation for the ripper Ruby standard library☆14Aug 26, 2023Updated 2 years ago
- NBioBSP module for Python to device Nitgen Hamster III.☆12Apr 10, 2025Updated 10 months ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- ☆14Jul 25, 2021Updated 4 years ago
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- Push commands to your terminal console from the comfort of a text editor☆13Dec 11, 2022Updated 3 years ago
- Advanced ORM between PostgreSQL and Crystal☆21Updated this week
- RBS grammer for tree-sitter☆15Nov 13, 2025Updated 3 months ago
- Rerun travis-ci tests after any dependency is updated☆12May 28, 2019Updated 6 years ago
- 🦅 🎲 Roc library for number generation (and more!)☆10Feb 13, 2025Updated last year
- Free & Open Source Invoice App for Freelancers & Small Businesses - AceLords☆13Oct 10, 2023Updated 2 years ago
- I'm sooooo tired of googling Docker and finding shit Medium blog posts and Docker's mediocre documentation☆14Dec 18, 2019Updated 6 years ago
- A compilation of BQN solutions to various coding challenges.☆12Feb 9, 2026Updated last week