Pinned Repositories
aps
aero-positioning system
attsim
Attitude dynamics simulation
conftron
automatic configuration and interface for lcm messaging
emacs
Emacs config (elisp)
encodings
BFPG talk on initial and final encodings
latc
typeclasses for linear algebra
Makefile-template
A generic makefile template
OpenVLBA
Very long baseline interferometry for radio astronomy
pipes-zeromq4
Haskell Pipes integration for ZeroMQ
smt-solving
BFPG talk on SMT solving in Haskell
peddie's Repositories
peddie/Makefile-template
A generic makefile template
peddie/OpenVLBA
Very long baseline interferometry for radio astronomy
peddie/smt-solving
BFPG talk on SMT solving in Haskell
peddie/hmatrix-nlopt
High-level hmatrix-compatible bindings to NLOPT from Haskell
peddie/ghc-inverse-hyperbolic
Let's fix the numerical accuracy of GHC's inverse hyperbolic functions.
peddie/nlopt-haskell
Low-level Haskell bindings to the NLOPT library
peddie/sousvide
Analysis for cooler sous vide
peddie/.emacs.d
New emacs configuration
peddie/barbies
peddie/bindings-gdal
Haskell bindings to the GDAL library
peddie/conjunction-search
Search for astronomical conjunctions
peddie/covid19-modelling
peddie/even-higher-kinded
BFPG talk on higher-kinded types
peddie/Flint2
peddie/generic-accessors
list or Tree of (String, a -> Double) pairs for generics
peddie/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
peddie/GoSungrow
GoLang implementation to access the iSolarCloud API updated by SunGrow inverters.
peddie/haddock
Haskell Documentation Tool
peddie/haskell-hedgehog
Hedgehog will eat all your bugs.
peddie/libBF-hs
Haskell bindings to libBF
peddie/nix-bundle
Bundle Nix derivations to run anywhere!
peddie/old-hs-complementary-filter
I don't remember what this is for, or what state it's in, but Hank was curious
peddie/pcg-random
Haskell interface to the pcg random number generator
peddie/Plot-ho-matic
easy real-time line plotting in haskell
peddie/rings
Semirings, rings, division rings, and modules.
peddie/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
peddie/solar-api
fun stuff with solar panels
peddie/spatial-math
haskell functions for 3d math including quaternions, euler angles, dcms, etc
peddie/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
peddie/youtube-dl
A copyright-respecting fork of youtube-dl