jrp2014 Goto Github PK

haskellrules

A domain-specific embedded language that allows semantic rules to be expressed as Haskell functions.

hasktrip

Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.

hdevtools

Persistent GHC-powered background server for FAST haskell development tools

hforth

A Forth interpreter in Haskell

hnt

A Haskell Nominal Toolkit

llvm-hs-examples

Examples for Haskell bindings to LLVM

llvm-hs-extras

A collection of extra functions for "LLVM" (12 and above)

llvm-hs-kaleidoscope

Kaleidoscope Tutorial using llvm-hs

mcc

MicroC example compiler for Stephen Edward's PLT class, but in Haskell

microkanrens

Implementations of µKanren in assorted languages

minikanren-haskell

Minikanren in Haskell

minimax

minimports

A GHC source plugin that replaces current imports with a minimal set, removing unused ones.

nominal

nominal sets in haskell

nominal2

nominal: Binders and alpha-equivalence made easy

parconc-examples

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

probdencalc

Deriving a Probability Density Calculator

refact-global-hse

Global haskell source code refactorings (e.g. move declarations between modules)

scheme

Write You a Scheme

smartviews

A Smart View on Datatypes

smuggler2

Minimise haskell imports, make exports explicit

stackcom

sudoku

Sudoku solving example

tasty-golden

Golden test support for Tasty

thereandbackagain

Use one list traversal instead of two to calculate convolutions

threadscope

A graphical tool for profiling parallel Haskell programs

ws2016lab

Windows Server 2016 rapid lab deployment scripts

xoperad

The implementation of tic-tac-toe using an operadic comonad