A tip blog!
☆19Aug 26, 2018Updated 7 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:
- Optional function arguments☆16Sep 4, 2022Updated 3 years ago
- A layout modifier that makes window-window spacing equal to window-edge spacing.☆16Jul 18, 2016Updated 9 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Xapian full text search plugin for Ruby on Rails☆128Aug 29, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- Events and Signals for FRP. Monad instances included☆12Dec 11, 2022Updated 3 years ago
- map pairs of sequentially pressed keys to commands☆22Sep 7, 2015Updated 10 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆19Mar 21, 2026Updated last month
- Reproducible Builds in Fedora ("remock"). Updated for Fedora 23, and Rawhide.☆16Dec 13, 2015Updated 10 years ago
- Automated setup and configuration for most of OpenAustralia Foundation's servers☆12Updated this week
- A WebExtension which adds the Application menu to the Firefox titlebar.☆10Aug 27, 2019Updated 6 years ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Derive editors for data types.☆29Oct 5, 2014Updated 11 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
- Creates a new tab with the current container☆12Sep 6, 2017Updated 8 years ago
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆15Apr 26, 2026Updated last week
- Chrome Dev Tools extension for XHR JSON based requests.☆13Feb 8, 2018Updated 8 years ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Nov 11, 2021Updated 4 years ago
- ☆19May 11, 2025Updated 11 months ago
- Classy error-handling (and dispatching!) in Haskell.☆46Aug 14, 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.
- a speed reading extension for Firefox based on OpenSpritz☆13Mar 18, 2014Updated 12 years ago
- ☆11Jun 20, 2017Updated 8 years ago
- PureScript bindings for the yargs command-line parsing library☆18Jun 19, 2018Updated 7 years ago
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 3 years ago
- ☆15Apr 1, 2019Updated 7 years ago
- Union mount in Haskell, with fsnotify☆12Apr 27, 2026Updated last week
- [unmaintained] Container environment for booting fresh DGU virtual machines. Create VMs with Vagrant, configure them with Puppet.☆38Mar 10, 2017Updated 9 years ago
- A full implementation example of Nango☆17Oct 16, 2025Updated 6 months ago
- key-chord keyword for use-package☆27Mar 30, 2025Updated last year
- 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.
- INACTIVE - http://mzl.la/ghe-archive - Static pages for charts.mozilla.org☆15Sep 10, 2019Updated 6 years ago
- ☆12Dec 13, 2025Updated 4 months ago
- simple plugin that lets you register custom webhooks based on kirby hooks☆14Jun 6, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/tv-maxe☆11Apr 17, 2017Updated 9 years ago
- ☆12Jun 24, 2023Updated 2 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- A theme for Hyperterm that pairs nicely with macOS dark mode☆10Feb 26, 2018Updated 8 years ago