meditans Goto Github PK

haskell-webapps

Proof-of-concept code for a typical webapp implemented in various Haskell libraries/frameworks

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

haskellnotes

Snippet of files for self-study

hasochismstudy

Implementation of the hasochism paper

hbro

A minimal web-browser written and configured in Haskell.

helm-dash

Browse Dash docsets inside emacs

hereditary-delay

hereditary delay

hint

Runtime Haskell interpreter

hneat

WIP framework for the NeuroEvolution of Augmenting Topologies

hs-polymap

polydirectional maps for Haskell - now with partially overlappable edges

hyper-relation

imagemagick

haskell imagemagick bindings

imagesplit

Cut horizontal stripes from book scans and use them in spaced repetition software

ipotenusa

Codice di discussione per un esercizio di ottimizzazione su #haskell.it

lambdaeval

An interactive evaluator for lambda-calculus based on Oleg's work

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

lmql

A programming language for large language models.

logicexperiments

Proof of concept prover for a restricted sequent calculus

malli

Data-Driven Schemas for Clojure/Script.

medikit

meditans' prolog personal utilities

memotrie

Trie-based memo functions

minimal-origin

Delay monad study

mockloginpage

monad-memo

Memoization monad transformer

monadpresentation

music-commentary

A documentated study of music-suite libraries

music-parts

Musical instruments, parts and playing techniques

music-pitch

Musical pitch

music-suite-design

music21

music21 is a Toolkit for Computational Musicology