A beautifully warm dual theme for Visual Studio Code
☆38Jul 19, 2024Updated last year
Alternatives and similar repositories for horizon-theme-vscode
Users that are interested in horizon-theme-vscode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🌙 A modified version of Tokyo Night with Horizon's syntax highlighting.☆15Apr 2, 2024Updated 2 years ago
- Cloudflare Worker powered link shortener - Stores in workers K/V - Powering dstn.to☆18Jan 1, 2023Updated 3 years ago
- ☆11Jul 7, 2023Updated 2 years ago
- A theme manager for Firefox written in pure rust☆10Apr 23, 2021Updated 4 years ago
- Simple functional-ish language written in Kotlin☆24Aug 19, 2025Updated 8 months 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.
- Convert nested CSS into usable HTML☆11Jul 17, 2019Updated 6 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Sonokai Color Scheme for Visual Studio Code☆53Jan 12, 2026Updated 3 months ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆11Aug 29, 2015Updated 10 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Simple, elegant, profunctorial, applicative validation for product types!☆19Aug 25, 2021Updated 4 years ago
- It's like your dad's cowsay, but pink!☆10Aug 6, 2020Updated 5 years ago
- Interpreter for my esolang☆12Aug 15, 2022Updated 3 years ago
- Cheap version of a Stream Deck (elGato) made using Arduino☆18Aug 29, 2021Updated 4 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.
- pastel new tab for chrome and firefox 🌙☆49Feb 25, 2025Updated last year
- A minimal startpage made with svelte☆22Feb 14, 2026Updated 2 months ago
- Toki Pona dictionary running vanilla js. Replaced by https://github.com/lipu-linku/lipu☆10Apr 15, 2024Updated 2 years ago
- Discord Bot for Lanyard Discord Server☆10Mar 6, 2026Updated last month
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago
- Tool to analyse the import structure of lean projects.☆20Updated this week
- A small program that strips out useless data out of PNG bytestream to reduce the filesize.☆18Dec 31, 2021Updated 4 years ago
- ☆20Jun 28, 2023Updated 2 years ago
- My dotfiles et al☆22May 11, 2012Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- an interpreted programming language allowing you to express your thoughts in a clean and expandable code without a second thought☆13Jul 16, 2023Updated 2 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆19Oct 10, 2022Updated 3 years ago
- Fluent Icons for Visual Studio Code☆161Oct 25, 2024Updated last year
- Plugin for Elysia for streaming response and Server Sent Event☆16Jul 16, 2024Updated last year
- An experimental mutual induction tactic for Lean 4.☆28Apr 2, 2026Updated 2 weeks ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 7 months ago
- Program Specification in Lean 4☆22Jan 15, 2024Updated 2 years ago
- Dorian is an intuitive high-level abstraction for declaring imperative programs that can be compiled or interpreted using LLVM and Cranel…☆21Jun 11, 2025Updated 10 months ago
- A tiny javascript cat that you can easily run on any page.☆15Oct 25, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- format!(Lets the user {color_red}colorize{color_reset} the and {style_underline}style the output{style_reset} text using inline variables…☆11Nov 2, 2023Updated 2 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Discord App for Transcribing & Translating Voice Messages☆14Nov 1, 2025Updated 5 months ago
- HAL+JSON API Transformer Bundle for Symfony 2 and Symfony 3☆10Mar 23, 2017Updated 9 years ago
- ☆15Jun 20, 2021Updated 4 years ago
- SpacePen minus jQuery☆16Sep 28, 2022Updated 3 years ago
- 🎨🐱 unofficial Poimandres theme for kitty☆15Jun 19, 2023Updated 2 years ago