dpthayer/corn
Public repository.
Developer Profile
dpthayer
Discovered public repositories for dpthayer in the GitHub catalog.
dpthayer/FSharp.AsyncExtensions
Extensions for asynchronous programming in F#
dpthayer/fsharp-wpf-mvc-series
F# MVC framework for WPF
dpthayer/MetaProof
Synthesis of Coq and Isabelle Systems
dpthayer/LocalRepository
Local Code Files
dpthayer/fjord
Fjord, F# programming language for the JVM.
dpthayer/MyCode
UltraBook Repository
dpthayer/clojure-clr
A port of Clojure to the CLR, part of the Clojure project
dpthayer/Ctries
Scala implementation of the Ctrie datastructure.
dpthayer/F-AI
artificial intelligence for F#/.NET
dpthayer/Swish
Swish is a framework, written in the purely functional programming language Haskell, for performing deductions in RDF data using a variety of techniques. Swish is conceived as a toolkit for experimenting with RDF inference, and for implementing stand-alone RDF file processors (usable in similar style to CWM, but with a view to being extensible in declarative style through added Haskell function and data value declarations). It explores Haskell as "a scripting language for the Semantic Web".
dpthayer/kdtree
Haskell module for K-D trees
dpthayer/all-about-monads
Attempt to port All About Monads to HaskellWiki
dpthayer/haskell-data-mining
Data mining and machine learning framework for Haskell
dpthayer/continued-fractions
Haskell library for manipulating and evaluating continued fractions
dpthayer/category-extras
category-theoretic goodness for Haskell
dpthayer/genetics
A Genetic Algorithm library in Haskell
dpthayer/dns
DNS libary in Haskell
dpthayer/RDF4H
rdf4h is a library for working with RDF in Haskell
dpthayer/4languages
Book about Haskell, Clean, Agda and Idris
dpthayer/EvoHaskell
Bio stuff in Haskell
dpthayer/presburger
Decision procedures for Presburger arithmetic in Haskell
dpthayer/simpleea
A simple evolutionary algorithm framework for Haskell
dpthayer/incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell Library
dpthayer/hsgep
Haskell Gene Expression Programming Library
dpthayer/elf
Haskell library for parsing ELF object files
dpthayer/McPhD
A Parallel Haskell framework for particle-bases Monte Carlo simulations
dpthayer/svm
A support vector machine implemented in Haskell.
dpthayer/language-cil
Manipulating Common Intermediate Language AST in Haskell
dpthayer/machine-learning
Machine learning library for Haskell
dpthayer/HNN
Haskell Neural Network library
dpthayer/funsat
An efficient, embeddable DPLL SAT solver in Haskell
dpthayer/hs-monte-carlo
A Monte Carlo monad and transformer for Haskell.
dpthayer/mighttpd
A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.
dpthayer/pdata
Purely functional, persistent and efficient vector and hash-map data structures for Haskell
dpthayer/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.
dpthayer/uhc
Utrecht Haskell Compiler
dpthayer/par-tutorial
A tutorial on Parallel and Concurrent Haskell
dpthayer/fsharp
The F# Compiler
dpthayer/fsharpx
Extensions to the F# core library.
dpthayer/clojure
The Clojure programming language
dpthayer/my-stuff
my stuff