🏡 There's no place like ~/
☆14Jan 28, 2026Updated last month
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- Telegram bot tuzish uchun yordamchi.☆13Jan 31, 2020Updated 6 years ago
- Implementation of the construction of team models representing the offensive style of play of soccer teams, and analysis based on these m…☆11Oct 17, 2022Updated 3 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- a Telegram bot who saves messages from group chats and sends them binding to triggers☆11Apr 9, 2022Updated 3 years ago
- Scalable Open Source PostgreSQL-based Database Cluster☆14Aug 22, 2017Updated 8 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- ☆12May 9, 2015Updated 10 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- A sample mathematics paper to illustrate basic ideas in LaTeX☆11Jul 21, 2024Updated last year
- Discover if you are visiting censored sites in other countries☆12Aug 21, 2017Updated 8 years ago
- A repository with some information I may need to refer later about the Plutus lectures☆12Jul 19, 2021Updated 4 years ago
- A platform for teachers and students to share and collaborate on exercises☆10Oct 26, 2025Updated 4 months ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 5 years ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- ☆16Jul 13, 2014Updated 11 years ago
- ☆12Nov 20, 2025Updated 3 months ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- My Emacs configuration (Mostly for Clojure and ClojureScript development)☆11Feb 28, 2018Updated 8 years ago
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated last month
- Collection of misc (mostly JTAG and Serial Wire Debug) adapters.☆13Dec 13, 2017Updated 8 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Explorable 3D Sierpinski tetrahedrons rendered using WebGL.☆12Mar 1, 2020Updated 6 years ago
- ☆11Jul 2, 2024Updated last year
- b站视频下载订阅CLI☆15May 11, 2024Updated last year
- My personal site and blog, powered by Jekyll (live at http://sevko.io)☆14Apr 12, 2023Updated 2 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated 11 months ago
- Circuit Breakers in Go☆14Jun 8, 2024Updated last year
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Sep 1, 2017Updated 8 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- ☆20Jan 7, 2021Updated 5 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- ☆10Jan 11, 2017Updated 9 years ago