A collection of my personal Linux dot files.
☆11Jul 28, 2020Updated 5 years ago
Alternatives and similar repositories for dot-files
Users that are interested in dot-files are comparing it to the libraries listed below
Sorting:
- linux/osx☆50Oct 24, 2022Updated 3 years ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- Deflate64 - Decripting Base 64 strings, decompress content (sploits Power Shell)☆10Oct 30, 2017Updated 8 years ago
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 5 years ago
- A purely functional cheminformatics toolkit written in Scala☆16Jun 7, 2013Updated 12 years ago
- Rest your pinkies.☆11Oct 27, 2016Updated 9 years ago
- Faucet for Cardano☆10Jan 24, 2026Updated last month
- 🕹️ Compatibility layer to run PICO-8 scripts on the monome norns☆12Jan 12, 2022Updated 4 years ago
- ☆10Jun 30, 2021Updated 4 years ago
- Takes a screenshot every time you die ingame☆10Feb 5, 2023Updated 3 years ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆14Nov 14, 2023Updated 2 years ago
- ☆16Jan 5, 2026Updated 2 months ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated last month
- Code for a hexapod robot☆11Apr 8, 2017Updated 8 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- This is the template used by all repositories which represent a crate. The purpose is to speed up the creation of new crates and keep the…☆15Feb 19, 2024Updated 2 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- An Emacs minor mode for frame-relative buffer lists.☆12Oct 22, 2020Updated 5 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- Rust crate for object detection using TensorFlow☆16Jun 22, 2021Updated 4 years ago
- Cool little hardware monitor based off the eDEX-UI opensource project☆17Nov 21, 2020Updated 5 years ago
- ☆13Aug 11, 2021Updated 4 years ago
- Easy website generation with hakyll + nix flakes☆16Nov 11, 2025Updated 3 months ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Nov 14, 2023Updated 2 years ago
- ☆11Sep 14, 2021Updated 4 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- Closure web engine☆17Jul 22, 2022Updated 3 years ago
- GCC wrapper that outputs error diagnostics in a prettier format.☆11Aug 23, 2025Updated 6 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Nov 15, 2025Updated 3 months ago
- Linux config files☆11Jan 3, 2026Updated 2 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Inline procedural macros for Rust☆56Aug 27, 2022Updated 3 years ago
- Personal config files for Bspwm and i3☆10Feb 13, 2021Updated 5 years ago
- implementation deriving for idris2☆12Feb 21, 2021Updated 5 years ago
- EMUCHIP8, a CHIP-8 emulator.☆12Apr 8, 2021Updated 4 years ago
- Minimalist session manager and a /toolchest/ like application launcher for Unix/X11.☆22Updated this week
- Auto-thing-at-point for emacs.☆14Feb 16, 2022Updated 4 years ago
- Capture screen content with xlib in rust☆12May 22, 2017Updated 8 years ago
- Inner and outer gaps for StumpWM☆11Jul 31, 2017Updated 8 years ago