Pinned Repositories
cargo-fund
Discover funding links for your project's dependencies.
cereal-vector
Serialize instances for Data.Vector types
gitrev
Compile git revision info into Haskell projects
minecraft-data
Haskell library for manipulating Minecraft saved world data
Molog
A typed logic programming language embedded in Haskell
nbt
A parser/serializer for Minecraft's Named Binary Tag (NBT) data format.
text-register-machine
A Haskell implementation of the 1# Text Register Machine
vector-space-opengl
Instances of vector-space classes for OpenGL types
acfoltzer's Repositories
acfoltzer/Molog
A typed logic programming language embedded in Haskell
acfoltzer/minecraft-data
Haskell library for manipulating Minecraft saved world data
acfoltzer/cereal-vector
Serialize instances for Data.Vector types
acfoltzer/text-register-machine
A Haskell implementation of the 1# Text Register Machine
acfoltzer/vector-space-opengl
Instances of vector-space classes for OpenGL types
acfoltzer/bit-vector
Simple bit vectors for Haskell
acfoltzer/persistent-refs
Haskell refs backed by an IntMap for persistence and reversibility
acfoltzer/system-topology
Haskell library for runtime inspection of system topology
acfoltzer/accelerate
Embedded language for high-performance array computations
acfoltzer/cereal-derive
Derive instances of Serialize
acfoltzer/distributed-process
acfoltzer/HSBenchScaling
Haskell Parallel Scaling benchmark scripts with support for some post-processing and plotting of results.
acfoltzer/policies
acfoltzer/RazorsLambda
A somewhat more complicated Hutton's Razor for testing ideas
acfoltzer/cabal
Official upstream development repository for Cabal and cabal-install
acfoltzer/crucible
Crucible is a library for symbolic simulation of imperative programs
acfoltzer/depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
acfoltzer/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)
acfoltzer/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
acfoltzer/happy
The Happy parser generator for Haskell
acfoltzer/haskell-platform
acfoltzer/hl
Haskell web site
acfoltzer/homebrew-core
:beers: Core formulae for the Homebrew package manager
acfoltzer/homebrew-science
Scientific formulae for the Homebrew package manager
acfoltzer/hs-ed25519-donna
Haskell bindings to floodyberry's ed25519 C code (EC signature scheme)
acfoltzer/IHaskell
A Haskell kernel for IPython.
acfoltzer/ihaskell-notebook
acfoltzer/LensTalk
Introductory lens presentation
acfoltzer/ref-fd
acfoltzer/scion-class-browser
Scion part for EclipseFP Class Browser