My dotfiles for OSX and Ubuntu
☆18Feb 3, 2020Updated 6 years ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 5 years ago
- Experimental polykinds implementation☆15Aug 22, 2019Updated 6 years ago
- Toolkit for manipulating Sanskrit text with Python☆18Dec 31, 2024Updated last year
- Old and New GHC☆20Feb 22, 2023Updated 3 years ago
- SVG glyphs for sitelen sitelen☆24Jan 5, 2024Updated 2 years ago
- Nixos stuff☆39Updated this week
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- ⛱ An example of managing state using Purescript in a Vue app☆27Apr 16, 2019Updated 6 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Oct 29, 2023Updated 2 years ago
- My .*rc files and some stuff. Lots of garbage, use with caution.☆41Feb 4, 2020Updated 6 years ago
- Django generic marketplace API☆11Jun 10, 2020Updated 5 years ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 3 months ago
- Blank experiment using jsPsych and google app engine☆12Jul 25, 2018Updated 7 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Brent's PhD thesis.☆69Apr 8, 2016Updated 9 years ago
- Logging framework for Haskell☆66Jan 6, 2026Updated 2 months ago
- Functional Data Management (Type Safe ETL / ELT in Haskell)☆42Dec 1, 2021Updated 4 years ago
- Yet another parser for the ABC Notation☆11Dec 8, 2025Updated 3 months ago
- A PGF backend for diagrams☆15Sep 16, 2025Updated 5 months ago
- Various and sundry shell scripts used on my system☆21Updated this week
- 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 collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Functional programming utilities implemented in pure Lua.☆14Oct 30, 2024Updated last year
- Metrical position in Greek hexameter.☆13Updated this week
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- ☆12Mar 7, 2024Updated 2 years ago
- Camera application for Plasma Mobile☆13Updated this week
- Shiny apps for teaching statistics through simulation☆11Dec 16, 2016Updated 9 years ago
- ☆12Nov 20, 2025Updated 3 months ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- ☆11Mar 18, 2025Updated 11 months ago
- Pretrained models for the ranking task described in Cats and Captions vs. Creators and the Clock (WWW 2017)☆11Apr 28, 2019Updated 6 years ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- A repository with some information I may need to refer later about the Plutus lectures☆12Jul 19, 2021Updated 4 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Snapshots of the GRETIL repository of South Asian (Sanskrit, Pali, etc.) etexts☆10Feb 21, 2026Updated 2 weeks ago
- A small collection of my files with a dot in them.☆11Mar 10, 2024Updated last year
- GUI for CVS☆11Feb 19, 2026Updated 2 weeks ago
- The Faust Online Documentation☆12Jan 27, 2026Updated last month