Collection of dotfiles for my NixOS machine
☆14Jul 29, 2019Updated 6 years ago
Alternatives and similar repositories for dotfiles_old
Users that are interested in dotfiles_old are comparing it to the libraries listed below
Sorting:
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Nov 26, 2025Updated 3 months ago
- automatic ci configuration for the people☆35Nov 20, 2019Updated 6 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- rxvt-unicode extension that allows to paste the contents of your clipboard with the right click☆10Mar 6, 2017Updated 8 years ago
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 8 years ago
- OCaml PPX extension for automatically generating Irmin types☆11Jan 14, 2020Updated 6 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Use xmonad with Cinnamon Session integration.☆11Nov 8, 2022Updated 3 years ago
- A simple HTTP server for queuing lines of text☆11Mar 27, 2017Updated 8 years ago
- ☆14Apr 2, 2024Updated last year
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- Tiny library to find the name of Unicode characters☆12Jul 1, 2020Updated 5 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- A PGF backend for diagrams☆15Sep 16, 2025Updated 5 months ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 6 years ago
- ⚔️ M-x kill-all-the-thing ☠️☆10Oct 16, 2017Updated 8 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- A programming action game.☆13Feb 15, 2024Updated 2 years ago
- ☆10Dec 16, 2020Updated 5 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- An interface between Clojure and Mathematica☆10Mar 17, 2015Updated 10 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Get/show dad jokes in Emacs☆10Sep 28, 2017Updated 8 years ago
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- emacs cfg on its own☆10Apr 20, 2018Updated 7 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 7 months ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Minor mode for binary line navigation in Emacs☆12Nov 21, 2018Updated 7 years ago
- Orgmode-like folding for sideshow