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:
- Yet another emacs dark color theme☆14Apr 6, 2016Updated 10 years ago
- Optional function arguments☆16Sep 4, 2022Updated 3 years ago
- A simple text editor written in Haskell with Brick☆13Mar 28, 2019Updated 7 years ago
- python code for my variational RNN method☆14Jul 28, 2016Updated 9 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 3 years ago
- 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.
- ☆12Nov 2, 2022Updated 3 years ago
- Combinators for manipulating dependently-typed predicates.☆13Jul 5, 2024Updated 2 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- GraalVM native-image as a docker container☆13Oct 11, 2018Updated 7 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- map pairs of sequentially pressed keys to commands☆22Sep 7, 2015Updated 10 years ago
- Events and Signals for FRP. Monad instances included☆12Dec 11, 2022Updated 3 years ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 3 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆19Mar 21, 2026Updated 4 months 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.
- clone from myJIT(a fork of GNU lightning)☆11Mar 17, 2015Updated 11 years ago
- Configuration for Nix on my macOS machines☆14Updated this week
- React with Preact Typescript type definitions interop for real life projects☆14Nov 1, 2017Updated 8 years ago
- ☆21May 11, 2025Updated last year
- Boilerplate for developing javascript packages☆10Nov 10, 2019Updated 6 years ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- Simple todo app☆15Jul 2, 2015Updated 11 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 2 months ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Nov 11, 2021Updated 4 years 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.
- Utility functions for working with fonts in Emacs☆14Apr 5, 2021Updated 5 years ago
- Akka HTTP Bookstore API☆15Oct 30, 2019Updated 6 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Aug 14, 2019Updated 6 years ago
- neo4j shell for emacs☆17Mar 12, 2021Updated 5 years ago
- A unite.vim source for searching gems to require☆16Apr 22, 2015Updated 11 years ago
- A simple pushstate router, with support for async routing logic. Bring your preferred parser, printer and state management.☆15Feb 4, 2023Updated 3 years ago
- ☆15Apr 1, 2019Updated 7 years ago
- A Haskell library for working with files and directories. Includes code for pattern matching, finding files, modifying file contents, and…☆28Jan 28, 2023Updated 3 years ago
- a language about nothing☆19Aug 3, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 3 years ago
- bootstrap template for akka-http services☆14Sep 13, 2017Updated 8 years ago
- Push voxel.js terrain generation to the GPU using a GLSL shader☆18Feb 20, 2013Updated 13 years ago
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated 2 months ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- Quickly jump to x86 documentation from Emacs☆58Aug 23, 2024Updated last year
- simple plugin that lets you register custom webhooks based on kirby hooks☆14Jun 6, 2022Updated 4 years ago