☆69Jul 13, 2017Updated 9 years ago
Alternatives and similar repositories for neon-84
Users that are interested in neon-84 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Mar 18, 2020Updated 6 years ago
- converts catgirls to gds files☆15May 24, 2021Updated 5 years ago
- Fully automated RGB everything☆35Jul 9, 2017Updated 9 years ago
- A flat theme with transparent elements based on gotham vim scheme☆18Apr 1, 2019Updated 7 years ago
- A ritual to channel the unseen☆16Aug 22, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- http://jse.li/terminal-waifu/☆11Jan 28, 2017Updated 9 years ago
- Moved to: https://git.sr.ht/~brennovich/my-favorite-things☆32Oct 6, 2026Updated last week
- Driving OLEDs based on the SSD1322 chipset☆19Sep 5, 2016Updated 10 years ago
- Type-safe templates for server-side TypeScript applications inspired by Laravel Blade☆10Mar 2, 2024Updated 2 years ago
- Gate-level visualization generator for SKY130-based chip designs.☆20Jul 22, 2021Updated 5 years ago
- ☆21Jan 7, 2020Updated 6 years ago
- ZSurf is inspired by Suckless' Surf browser. The goal of this project is to offer a lightweight browser which can be infinitely configure…☆10Sep 26, 2018Updated 8 years ago
- Dotfiles used on my Unix systems☆22Oct 22, 2022Updated 3 years ago
- A simple HTML homepage☆12Oct 10, 2017Updated 9 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.
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- Here are some of my dotfiles, little projects and relevant config files.☆223Aug 5, 2016Updated 10 years ago
- Overlay Scheme Evaluation Results☆14Sep 20, 2024Updated 2 years ago
- Collection of my dots☆23Oct 13, 2017Updated 9 years ago
- An Idris type provider for communicating type-checkable protocols.☆27Nov 6, 2017Updated 8 years ago
- OpenPOWER / Open Compute Server, based upon POWER9☆35Jun 20, 2018Updated 8 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- J-core SOC for ice40 FPGA☆20Dec 8, 2019Updated 6 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 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.
- Timing attack resistant type systems☆24May 13, 2015Updated 11 years ago
- stub repo for prelim work on SSRN replacement☆15May 19, 2016Updated 10 years ago
- Enter complex key sequences with ease!☆13Sep 17, 2025Updated last year
- Bidirectional transformation between Yao IR and QASM.☆11Dec 6, 2020Updated 5 years ago
- ☆13Mar 21, 2025Updated last year
- ☆14Jun 2, 2026Updated 4 months ago
- Startpage with chalkboard theme☆13Jan 20, 2017Updated 9 years ago
- A script written in Python to generate colorful gradient-pattern wallpapers.☆14Feb 2, 2017Updated 9 years ago
- simple hex editor☆23Dec 9, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Mustache plugin for the CakePHP framework.☆18Oct 24, 2014Updated 11 years ago
- Change color schemes easily using a templating system☆14Aug 7, 2023Updated 3 years ago
- Rapid CSS development, multiple carets and so much more.☆14Oct 28, 2012Updated 13 years ago
- Dependently-typed structures for quantum physics in Idris☆13Nov 25, 2015Updated 10 years ago
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Dec 10, 2018Updated 7 years ago
- http://www.waveprotocol.org☆13Jun 26, 2020Updated 6 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago