A tip blog!
☆19Aug 26, 2018Updated 8 years ago
Alternatives and similar repositories for spacemacs-rocks
Users that are interested in spacemacs-rocks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Sep 14, 2025Updated last year
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- A simple text editor written in Haskell with Brick☆13Mar 28, 2019Updated 7 years ago
- Optional function arguments☆16Sep 1, 2026Updated 2 months ago
- Yet another emacs dark color theme☆14Apr 6, 2016Updated 10 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.
- port of vim's mustang theme to emacs24.☆12Jul 19, 2017Updated 9 years ago
- Linear Algebra☆10Dec 1, 2019Updated 6 years ago
- Patches Assured up to Trace Equivalence☆17Apr 7, 2025Updated last year
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- ☆12Jun 7, 2024Updated 2 years ago
- Sangria monix integration☆10Oct 25, 2026Updated last week
- Zenburn is a low-contrast color scheme for Vim, created by Jani Nurminen. This is a fork of his repo, where I am collecting as many varia…☆12May 6, 2013Updated 13 years ago
- ☆12Nov 2, 2022Updated 4 years ago
- map pairs of sequentially pressed keys to commands☆22Sep 15, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- Combinators for manipulating dependently-typed predicates.☆13Jul 5, 2024Updated 2 years ago
- Ruby client library Eventstore - an open-source, functional database with Complex Event Processing support☆16May 8, 2015Updated 11 years ago
- Book search interface for emacs helm.☆10Mar 25, 2017Updated 9 years ago
- This repo was the first place where we ever talked about flakes. Since then, the activity has now moved to upstream @NixOS/nix.☆13Nov 24, 2018Updated 7 years ago
- ☆10Dec 5, 2017Updated 8 years ago
- React with Preact Typescript type definitions interop for real life projects☆14Nov 1, 2017Updated 9 years ago
- First class patterns and pattern matching, using type families☆14Jun 6, 2018Updated 8 years 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 repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 3 years ago
- GraalVM native-image as a docker container☆13Oct 11, 2018Updated 8 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Nov 11, 2021Updated 4 years ago
- Ideas for an Emacs podcast☆20Nov 13, 2022Updated 3 years ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- Events and Signals for FRP. Monad instances included☆12Dec 11, 2022Updated 3 years ago
- Creates a new tab with the current container☆12Sep 6, 2017Updated 9 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 6 months ago
- Ripple JavaScript library distribution on bower☆10Dec 10, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Process management tool for UNIX systems using gRPC☆12Oct 8, 2018Updated 8 years ago
- ☆21May 11, 2025Updated last year
- Chrome Dev Tools extension for XHR JSON based requests.☆13Feb 8, 2018Updated 8 years ago
- Just a little reminder of how much time of your life you've already wasted 😉☆21May 13, 2026Updated 5 months ago
- Utility functions for working with fonts in Emacs☆14Apr 5, 2021Updated 5 years ago
- A unite.vim source for searching gems to require☆16Apr 22, 2015Updated 11 years ago
- neo4j shell for emacs☆17Mar 12, 2021Updated 5 years ago