Sorbet extension for Zed
☆13Jun 6, 2025Updated 9 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 2 months ago
- My personal blog.☆14Feb 28, 2026Updated last week
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 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
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- A dead simple artillery calculator for the video game Hell Let Loose☆12Jan 6, 2026Updated 2 months ago
- NBioBSP module for Python to device Nitgen Hamster III.☆12Apr 10, 2025Updated 10 months ago
- 🖲 Beacon: DevTools☆10Feb 12, 2024Updated 2 years ago
- Simple dependency injection for Deno TypeScript projects.☆13Oct 10, 2021Updated 4 years ago
- Rust bindings for Ultralight: Lightweight, high-performance HTML renderer☆16Dec 31, 2024Updated last year
- 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
- ☆10Nov 25, 2021Updated 4 years ago
- Archive the content of your pinboard bookmarks as notes in your evernote account.☆21Mar 8, 2014Updated 12 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated 2 weeks 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
- ☆13May 16, 2025Updated 9 months ago
- React hook to make promises cancelable and safe☆10Jan 5, 2023Updated 3 years ago
- Merge PRs on a specified date using Labels☆12Jan 9, 2023Updated 3 years ago
- ⚪️ `wasm-pack build` executed in remote deployment☆14Jan 3, 2022Updated 4 years ago
- Simple library that allows for simple method of asking for screenshots from various Linux/BSD desktops☆10Jun 13, 2019Updated 6 years ago
- ☆12Nov 27, 2025Updated 3 months 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
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Documentation for the ripper Ruby standard library☆14Aug 26, 2023Updated 2 years ago
- ☆13Jun 10, 2021Updated 4 years ago
- A Deno-compatible copy of the TypeScript Metadata Reflection API my Microsoft☆11Jun 24, 2022Updated 3 years ago
- Posters created by the Facebook Analog Research Laboratory.☆13Jun 26, 2022Updated 3 years ago
- Advanced ORM between PostgreSQL and Crystal☆22Updated this week
- I'm sooooo tired of googling Docker and finding shit Medium blog posts and Docker's mediocre documentation☆14Dec 18, 2019Updated 6 years ago
- Scaffolding tool for Ruby applications.☆11Oct 20, 2025Updated 4 months ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- Free & Open Source Invoice App for Freelancers & Small Businesses - AceLords☆13Oct 10, 2023Updated 2 years ago
- A collection of Rubocop rules for gradually modularizing a ruby codebase☆17Updated this week
- An eslint plugin to enforce react-intl translations and formatting in web apps.☆13Jul 18, 2023Updated 2 years ago
- DSU Server for JoyCon (L/R) & Pro controllers for MacOS. To be used with the Dolphin emulator.☆14May 18, 2021Updated 4 years ago
- ☆14Jul 25, 2021Updated 4 years ago