π‘ There's no place like ~/
β15Oct 5, 2026Updated 3 weeks ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Just Build It - a "do what I mean" abstraction for Haskell build toolsβ12Jun 8, 2018Updated 8 years ago
- Experimentation with Idris and WebGL via JavaScript FFIβ10Apr 10, 2014Updated 12 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment developmentβ11Jun 26, 2015Updated 11 years ago
- A collection of setup scripts for installing nixOS on my work laptop.β10May 28, 2023Updated 3 years ago
- β12Feb 11, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Functional Programing in Scala (in Idris) [Idris]β16Mar 23, 2015Updated 11 years ago
- Quasiquotation for Swift in Haskellβ10Jun 24, 2014Updated 12 years ago
- Simple testing toolkitβ10May 28, 2021Updated 5 years ago
- Experiments with effect systemsβ12Apr 18, 2016Updated 10 years ago
- Extensible, Type Safe Error Handling in Haskellβ13Dec 22, 2020Updated 5 years ago
- Manage Nix Haskell override setsβ11Sep 30, 2018Updated 8 years ago
- Implementation of the cufp.org website.β11Sep 7, 2017Updated 9 years ago
- Calculate the width of a string when printed to the terminalβ13Updated this week
- This was the moment that Mark totally lost his shit and started rewritting jenkins in shell and ended up with a haskell build bot.β11Jun 18, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Matt Stall's C# compiler in C# http://blogs.msdn.com/b/jmstall/archive/2005/02/06/368192.aspxβ10Oct 17, 2011Updated 15 years ago
- Generate fake recursion schemesβ12Aug 20, 2020Updated 6 years ago
- Infuse nim into xv6 till it replaces all the "C"β13Dec 2, 2015Updated 10 years 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
- Applicative lexerβ13Nov 26, 2019Updated 6 years ago
- A well typed interpreter for the simply-typed lambda calculus written in Agdaβ11Aug 22, 2016Updated 10 years ago
- A very simple implementation of a little dependently typed languageβ11Aug 30, 2012Updated 14 years ago
- Python targeted to NekoVM by converting python to neko language.β10Jun 9, 2013Updated 13 years ago
- Small games, experiments, and notes on (Haskell) game development.β11Feb 27, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rebourne Again Shellβ15Feb 19, 2018Updated 8 years ago
- β11Jul 2, 2024Updated 2 years ago
- Rerun previous test suite runs to run only failing testsβ14Sep 28, 2026Updated last month
- Haskell binding to OGREβ13Jun 16, 2012Updated 14 years ago
- A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomoβ¦β13May 27, 2009Updated 17 years ago
- Π±Π΅Π·Π³ΡΠ°ΠΌΠΎΡΠ½ΡΠΉ gitignore and makefile fetcher in Rustβ11Apr 17, 2021Updated 5 years ago
- NUR - https://github.com/nix-community/NURβ13Mar 23, 2026Updated 7 months ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotainβ12Oct 12, 2026Updated 2 weeks ago
- AEFS, a cryptographic filesystem for Linuxβ13Apr 1, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- β11Nov 5, 2015Updated 10 years ago
- Lennart Augustsson's lamda cubeβ12Jul 13, 2016Updated 10 years ago
- Bugsnag error reporter for Haskellβ11Sep 30, 2025Updated last year
- Flashup format flashcards for public consumptionβ12Aug 1, 2011Updated 15 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checkerβ15Nov 27, 2015Updated 10 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskellβ15Sep 1, 2017Updated 9 years ago
- β12May 9, 2015Updated 11 years ago