eamsden

CTO @zorp-corp || Building Nockchain and NockApps

@zorp-corpTexas

Pinned Repositories

Animas
a fork of the Yampa combinator library for FRP
Language:Haskell60
dom-gnats
A binding to ghcjs-vdom for time-flies
Language:Haskell7 3 32
ghc-mod
Happy Haskell programming for editors
Language:Haskell1 1 00
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Language:Nix1 1 01
mk-dependent-tc
Typechecker for a dependently typed LC in MiniKanren
Language:Scheme3 2 00
nixos-urbit
Overlay and NixOS module for Urbit
Language:Nix2 2 00
pushbasedFRP
TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)
Language:Haskell18 5 02
nockapp
A toolkit for simple functional applications with automatic persistence.
Language:hoon58 12 06
sword
A modern Nock runtime with automatic persistence.
Language:Rust96 22 016

eamsden's Repositories

eamsden/nixos-urbit
Overlay and NixOS module for Urbit
Language:Nix2 2 00
eamsden/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Language:Nix1 1 01
eamsden/urbit-divinum-officium
The Divinum Officium Project: Traditional Roman Missal and Breviary Texts (Urbit Port)
Language:HTML1 2 0
eamsden/w1-therm-haskell
Library for reading 1-Wire thermal sensors supported by the w1-therm Linux kernel module
Language:Haskell1 3 11
eamsden/arion
Run docker-compose without images with Nix
Language:Nix2 0
eamsden/conduit
A streaming data library
eamsden/cryptonite
lowlevel set of cryptographic primitives for haskell
Language:Haskell1 0
eamsden/developers.urbit.org
Website for the Urbit Foundation's developer program
Language:JavaScript1 0
eamsden/final-pretty-printer
A monadic (and pretty) pretty printer for Haskell
Language:Haskell1 0
eamsden/fuse-overlayfs
FUSE implementation for overlayfs
Language:C1 0
eamsden/fuzzywuzzy
Fuzzy String Matching in Python
Language:Python
eamsden/ghcjs-base
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
Language:Haskell1 0
eamsden/ghcjs-three
GHCJS binding for three.js
Language:JavaScript1 0
eamsden/gi-gtk-declarative
Declarative GTK+ programming in Haskell
Language:Haskell1 0
eamsden/github
The github API for Haskell
Language:Haskell1 01
eamsden/github-t
A monad for the GitHub API which manages rate-limiting and error handling
Language:Haskell1 0
eamsden/hledger
The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.
Language:Haskell
eamsden/hott-book
A textbook on informal homotopy type theory
Language:TeX1 0
eamsden/hw-exception
Rust crate to catch and handle hardware exceptions, such as page faults
Language:Rust1 0
eamsden/iohk-nix
nix scripts shared across projects
Language:Nix2 0
eamsden/mobile-nixos
Questions? #nixos-aarch64 (or #nixos) on Freenode!
Language:Nix1 0
eamsden/nixos-homepage
Sources for nixos.org
Language:Less1 0
eamsden/nixpkgs
Nix Packages collection
Language:Nix1 0
eamsden/ofxclient
Bank transaction downloader and python OFX client libraries
Language:Python1 0
eamsden/pandoc-github
Send pandoc markdown output to pull requests, comments, etc on Github
Language:Haskell1 0
eamsden/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Shell1 0
eamsden/streaming-commons
Common lower-level functions needed by various streaming data libraries
Language:Haskell1 0
eamsden/USTJ-AdFontes
AdFontes Networking Proposal, USTJ Edition
Language:TeX
eamsden/USTJ-Template
Template for USTJ LaTeX submissions.
Language:TeX1 0
eamsden/website
My website, including Nix(OS) deployment stuff
Language:CSS1 0