Pinned Repositories
Animas
a fork of the Yampa combinator library for FRP
dom-gnats
A binding to ghcjs-vdom for time-flies
ghc-mod
Happy Haskell programming for editors
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
mk-dependent-tc
Typechecker for a dependently typed LC in MiniKanren
nixos-urbit
Overlay and NixOS module for Urbit
pushbasedFRP
TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)
nockapp
A toolkit for simple functional applications with automatic persistence.
sword
A modern Nock runtime with automatic persistence.
eamsden's Repositories
eamsden/nixos-urbit
Overlay and NixOS module for Urbit
eamsden/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
eamsden/urbit-divinum-officium
The Divinum Officium Project: Traditional Roman Missal and Breviary Texts (Urbit Port)
eamsden/w1-therm-haskell
Library for reading 1-Wire thermal sensors supported by the w1-therm Linux kernel module
eamsden/arion
Run docker-compose without images with Nix
eamsden/conduit
A streaming data library
eamsden/cryptonite
lowlevel set of cryptographic primitives for haskell
eamsden/developers.urbit.org
Website for the Urbit Foundation's developer program
eamsden/final-pretty-printer
A monadic (and pretty) pretty printer for Haskell
eamsden/fuse-overlayfs
FUSE implementation for overlayfs
eamsden/fuzzywuzzy
Fuzzy String Matching in Python
eamsden/ghcjs-base
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
eamsden/ghcjs-three
GHCJS binding for three.js
eamsden/gi-gtk-declarative
Declarative GTK+ programming in Haskell
eamsden/github
The github API for Haskell
eamsden/github-t
A monad for the GitHub API which manages rate-limiting and error handling
eamsden/hledger
The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.
eamsden/hott-book
A textbook on informal homotopy type theory
eamsden/hw-exception
Rust crate to catch and handle hardware exceptions, such as page faults
eamsden/iohk-nix
nix scripts shared across projects
eamsden/mobile-nixos
Questions? #nixos-aarch64 (or #nixos) on Freenode!
eamsden/nixos-homepage
Sources for nixos.org
eamsden/nixpkgs
Nix Packages collection
eamsden/ofxclient
Bank transaction downloader and python OFX client libraries
eamsden/pandoc-github
Send pandoc markdown output to pull requests, comments, etc on Github
eamsden/stackage
"Stable Hackage": vetted consistent packages from Hackage
eamsden/streaming-commons
Common lower-level functions needed by various streaming data libraries
eamsden/USTJ-AdFontes
AdFontes Networking Proposal, USTJ Edition
eamsden/USTJ-Template
Template for USTJ LaTeX submissions.
eamsden/website
My website, including Nix(OS) deployment stuff