Color theme inspired by the Spacegray theme in Sublime Text
☆12Jun 1, 2025Updated last year
Alternatives and similar repositories for timu-spacegrey-theme
Users that are interested in timu-spacegrey-theme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Updated this week
- Docker wrapper for the Crystal CLI☆13Aug 17, 2021Updated 4 years ago
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- User script for your browser, to empower Open Food Facts contribution☆13Updated this week
- Formally Verified Float Implementation with lean4☆17Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18May 12, 2021Updated 5 years ago
- Swip app api with actix-web + juniper (graphql) + MariaDB☆13Oct 7, 2018Updated 7 years ago
- generating arabic poetry with recurrent neural networks☆10Mar 2, 2018Updated 8 years ago
- Hooks extension point mechanism (as known, e.g., from GNU Emacs)☆18Oct 18, 2018Updated 7 years ago
- Android Data Binding in context of MVP pattern☆10May 29, 2015Updated 11 years ago
- npm package for query data from Transantiago☆12Dec 7, 2017Updated 8 years ago
- My personal dotfiles for *Nix systems yo☆19Mar 24, 2022Updated 4 years ago
- ☆12Jun 11, 2025Updated last year
- Raylib addon library for odin-lang☆10Jul 10, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A natural-language snippet manager for `vim`☆11Sep 7, 2020Updated 5 years ago
- Micromega tactics for Mathematical Components☆30May 27, 2026Updated last month
- A Node.JS Active Record implementation, heavily influenced by Laravel's eloquent.☆18Jul 29, 2023Updated 2 years ago
- Персональное Рабочее Окружение☆19Apr 17, 2026Updated 3 months ago
- An example program to demonstrate PostgreSQL connectivity in Go using pgx library☆10Sep 12, 2021Updated 4 years ago
- ☆10Mar 8, 2025Updated last year
- osx arm64 m1 and m2 apple sillicon port of busybox-osx to work on my new fancypants laptop☆12Nov 30, 2023Updated 2 years ago
- ☆17Jul 15, 2021Updated 5 years ago
- An example of using metal-cpp with GLFW and CMake.☆13Oct 2, 2025Updated 9 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.
- Opinionated, Alpine-based development container for Crystal☆17Jul 17, 2026Updated last week
- Flexible and customizable static site generator with a lot of plugins!☆26Updated this week
- A LaTeX package for drawing genetic construct pictograms using TikZ.☆11Jan 26, 2022Updated 4 years ago
- ☆10Jul 3, 2026Updated 3 weeks ago
- [Library] AppSignal reporter for Telemetry.Metrics - Metrics export to AppSignal, Elixir telemetry integration, APM publishing. | Elixir …☆13Jul 13, 2026Updated last week
- Collection of C++ codes including exercise solutions of Sedwick book part 5☆11Jan 6, 2018Updated 8 years ago
- My dotfiles☆14Updated this week
- A cheat sheet for nim☆10Feb 23, 2015Updated 11 years ago
- A fast garbage collector based on cycle collection for Rust programs.☆33Updated this week
- 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.
- Hide searches and patterns using vim's conceal feature☆14Mar 9, 2022Updated 4 years ago
- AutoLinker is a basic package for turning website names into links.☆16Feb 24, 2022Updated 4 years ago
- ☆10Jun 19, 2026Updated last month
- Magit extension for git-tbdiff and git-range-diff☆25Mar 15, 2026Updated 4 months ago
- Official repository of the Autosubst 2 project.☆27May 8, 2023Updated 3 years ago
- Idiomatic types for building a robust JSON API with Rust☆26May 27, 2018Updated 8 years ago
- Fast JQ (JSON Querying and format)☆12Sep 18, 2022Updated 3 years ago