dpthayer

4languages

Book about Haskell, Clean, Agda and Idris

fsharpx

Extensions to the F# core library.

clojure

The Clojure programming language

continued-fractions

Haskell library for manipulating and evaluating continued fractions

dns

DNS libary in Haskell

elf

Haskell library for parsing ELF object files

EvoHaskell

Bio stuff in Haskell

fsharp

The F# Compiler

genetics

A Genetic Algorithm library in Haskell

haskell-data-mining

Data mining and machine learning framework for Haskell

hs-monte-carlo

A Monte Carlo monad and transformer for Haskell.

kdtree

Haskell module for K-D trees

McPhD

A Parallel Haskell framework for particle-bases Monte Carlo simulations

MetaProof

Synthesis of Coq and Isabelle Systems

par-tutorial

A tutorial on Parallel and Concurrent Haskell

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.

simpleea

A simple evolutionary algorithm framework for Haskell

uhc

Utrecht Haskell Compiler

clojure-clr

A port of Clojure to the CLR, part of the Clojure project

corn

Ctries

Scala implementation of the Ctrie datastructure.

dpthayer

Config files for my GitHub profile.

F-AI

artificial intelligence for F#/.NET

fjord

Fjord, F# programming language for the JVM.

fsharp-wpf-mvc-series

F# MVC framework for WPF

LocalRepository

Local Code Files

my-advanced-python-language-features

This repo is for the Linkedin Learning course: Advanced Python: Language Features

my-stuff

my stuff

MyCode

UltraBook Repository

nest_project