Pinned Repositories
awesome-podcasts
Collection of awesome podcasts
catsat
haskell-clifford
Clifford algebra for Haskell! :D
hottopic
libgrin
GRIN: Graph Reduction Intermediate Notation, a strongly optimisable intermediate language for lazy functional languages
permutation
git import of patrick perry permutations lib from darcs
personal
My stuff which I want on multiple computers :3
zephyrgc
The guidance computer code for the Zephyr blimp
spacekitteh's Repositories
spacekitteh/git-repo
spacekitteh/agda
Agda is a dependently typed programming language / interactive theorem prover.
spacekitteh/ansi-terminal
ANSI terminal support for Haskell, with Windows compatibility
spacekitteh/bits-extra
spacekitteh/chronos
Haskell time library focusing on performance
spacekitteh/co-log
📓 Composable contravariant combinatorial comonadic configurable convenient logging component
spacekitteh/compact
Compact regions library for Haskell
spacekitteh/diagnose
A simple library for reporting compiler/interpreter errors
spacekitteh/gdp
Ghosts of Departed Proofs
spacekitteh/generic-lens
Generically derive traversals, lenses, and prisms.
spacekitteh/haskell-dbus
A client library for the D-Bus IPC system.
spacekitteh/hls-nix
spacekitteh/home-manager
Manage a user environment using Nix
spacekitteh/hs-dtd-text
parse XML Document Type Declaration (DTD) documents
spacekitteh/indi
INDI Core Library Repository
spacekitteh/megaanticheat-client-nixpkg
A Nix package that compiles the MegaAntiCheat client for NixOS
spacekitteh/modern-uri
Modern library for working with URIs
spacekitteh/nix-topology
🍁 Generate infrastructure and network diagrams directly from your NixOS configurations
spacekitteh/nixos-search
Search NixOS packages and options
spacekitteh/nixpkgs
Nix Packages collection
spacekitteh/org-babel-examples
Examples using emacs org mode babel inline source code with different backend languages
spacekitteh/org-ref
org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.
spacekitteh/org-roam
Rudimentary Roam replica with Org-mode
spacekitteh/pantry
spacekitteh/polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
spacekitteh/polysemy-zoo
:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy
spacekitteh/prettyprinter
A modern, extensible and well-documented prettyprinter.
spacekitteh/skyflake
NixOS Hyperconverged Infrastructure on Nomad/NixOS
spacekitteh/vty
A high-level ncurses alternative written in Haskell
spacekitteh/witherable
Filter with effects