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:
- ☆18Aug 21, 2026Updated 2 weeks ago
- Docker wrapper for the Crystal CLI☆13Aug 17, 2021Updated 5 years ago
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- User script for your browser, to empower Open Food Facts contribution☆13Jul 23, 2026Updated last month
- Formally Verified Float Implementation with lean4☆21Aug 25, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A natural-language snippet manager for `vim`☆11Sep 7, 2020Updated 5 years ago
- Micromega tactics for Mathematical Components☆30Aug 20, 2026Updated 2 weeks ago
- A Node.JS Active Record implementation, heavily influenced by Laravel's eloquent.☆18Jul 29, 2023Updated 3 years ago
- Персональное Рабочее Окружение☆19Apr 17, 2026Updated 4 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☆14Nov 30, 2023Updated 2 years ago
- ☆17Jul 15, 2021Updated 5 years ago
- An example of using metal-cpp with GLFW and CMake.☆13Oct 2, 2025Updated 11 months ago
- 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.
- Opinionated, Alpine-based development container for Crystal☆17Jul 17, 2026Updated last month
- Flexible and customizable static site generator with a lot of plugins!☆26Updated this week
- A LaTeX package for drawing genetic construct pictograms using TikZ.☆12Jan 26, 2022Updated 4 years ago
- ☆10Updated this week
- [Library] AppSignal reporter for Telemetry.Metrics - Metrics export to AppSignal, Elixir telemetry integration, APM publishing. | Elixir …☆13Aug 26, 2026Updated last week
- Collection of C++ codes including exercise solutions of Sedwick book part 5☆11Jan 6, 2018Updated 8 years ago
- My dotfiles☆14Jul 27, 2026Updated last month
- A cheat sheet for nim☆10Feb 23, 2015Updated 11 years ago
- Hide searches and patterns using vim's conceal feature☆14Mar 9, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AutoLinker is a basic package for turning website names into links.☆16Feb 24, 2022Updated 4 years ago
- A fast garbage collector based on cycle collection for Rust programs.☆34Jul 21, 2026Updated last month
- ☆10Jun 19, 2026Updated 2 months ago
- Magit extension for git-tbdiff and git-range-diff☆25Aug 11, 2026Updated 3 weeks ago
- Official repository of the Autosubst 2 project.☆29May 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