Suckless software collection
☆31Jul 10, 2023Updated 2 years ago
Alternatives and similar repositories for suckless
Users that are interested in suckless are comparing it to the libraries listed below
Sorting:
- MODWM - Modular Dynamic Window Manager☆145Sep 18, 2021Updated 4 years ago
- Themes for dwm & st☆21Sep 3, 2020Updated 5 years ago
- A Plan9-inspired, mouse-oriented, graphical menu, which works with the standard input.☆17Apr 15, 2024Updated last year
- Simple X Image Viewer☆11Apr 18, 2022Updated 3 years ago
- Repo for Spectrum's berry font☆11Sep 29, 2019Updated 6 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- youtube viewing script that allows you to watch your subscribed videos with help of sxiv image viewer☆24Feb 5, 2024Updated 2 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Nov 15, 2025Updated 3 months ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- ☆12Oct 22, 2015Updated 10 years ago
- A minimalist svn client to checkout/update Subversion repositories.☆14Jan 18, 2024Updated 2 years ago
- Really tiny sudo replacement☆16Jun 11, 2023Updated 2 years ago
- ☆12Apr 20, 2022Updated 3 years ago
- Idris 2 HTTP Api Server☆15Mar 17, 2022Updated 3 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago
- a shell written in C☆13Mar 15, 2021Updated 4 years ago
- wmutils based shell scripts for window management☆31Feb 23, 2025Updated last year
- Beginnings of a Postgres client for Idris 2☆18Dec 9, 2025Updated 2 months ago
- Exercises from The Book of C authored by Pragati Dhingra and Priyanka Bhaskar☆10Feb 25, 2023Updated 3 years ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Minimal app menu with xmenu☆42Nov 2, 2023Updated 2 years ago
- Simple X Image Viewer☆36Feb 16, 2023Updated 3 years ago
- An STC Forth written from scratch without looking at any other code!☆16Feb 7, 2023Updated 3 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- Golden tests for command-line interfaces.☆19Jan 7, 2026Updated last month
- Scripts et al.☆17May 17, 2024Updated last year
- Harmonize with coworkers around GitHub reviewing.☆23Jan 27, 2026Updated last month
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Window manager agnostic clear transparent workflow for Unix☆28Nov 2, 2020Updated 5 years ago
- ☆23May 10, 2025Updated 9 months ago
- A simple and lightweight hotkey daemon for X with configurable custom modes and key chords (in ~200 LOC)☆45Feb 1, 2026Updated last month
- click on root window and run a command☆90Aug 31, 2024Updated last year
- A Python backed for Idris 2☆29Nov 25, 2025Updated 3 months ago
- a http(s) client in idris☆29Dec 11, 2024Updated last year
- tiny emacs☆28Dec 11, 2021Updated 4 years ago
- An implementation of threading macros based on binding anonymous variables.☆26Mar 28, 2024Updated last year
- Looking Glass helper☆21Nov 4, 2022Updated 3 years ago