• Stars
    star
    2
  • Language
    Haskell
  • Created almost 16 years ago
  • Updated over 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Pure heterogeneous maps for Haskell

More Repositories

1

vatican

A lazy specializing virtual machine for purely functional languages
C++
100
star
2

data-memocombinators

Pure memoization combinators for Haskell
Haskell
37
star
3

graphics-drawingcombinators

Combinators for drawing 2D shapes and images in Haskell (using OpenGL)
Haskell
32
star
4

hothasktags

A haskell ctags implementation that is aware of qualified imports, among other cool stuff
Haskell
30
star
5

Djest

A programming language that deduces code from tests
Haskell
28
star
6

dana

Dana - a purely functional (virtual) operating system
Haskell
16
star
7

quantum-arrow

A Haskell arrow for simulating quantum computation
Haskell
14
star
8

data-inttrie

A simple, lazy trie of integers
Haskell
10
star
9

control-monad-omega

A Haskell monad for fair enumeration of infinite sets.
Haskell
10
star
10

experiments

Miscellaneous small experiments with programming
Haskell
8
star
11

morphism

An experimental purely functional programming language
Haskell
6
star
12

polyrhythmia

Procedural generation of polyrhythmic beats
Haskell
6
star
13

manifesto

A(nother) structural editor (attempt) inspired by paredit
Haskell
6
star
14

frag

Purely functional foundations: IO-free haskell.
Haskell
6
star
15

infinite-search

An implementation of Martin Escardo's exhaustively searchable sets in Haskell.
Haskell
6
star
16

sequent

A logical/functional programming language based on sequent calculus
Haskell
6
star
17

weighted-search

A monad for weighted nondeterminism
Haskell
5
star
18

balder2d

A zero-gravity multiplayer shooter game.
5
star
19

udon

Universal Distributed Object Notation: data structures in distributed memory
Haskell
4
star
20

topology-extras

A Haskell module for topological spaces, inspired by Abstract Stone Duality
Haskell
4
star
21

practice-tools

A set of tools for piano practice
JavaScript
4
star
22

soylent

The legacy soylent software repository
C++
4
star
23

jsexp

A structural code editor in your web browser
JavaScript
4
star
24

space-shooter

A geometry wars derivative with composable enemies and procedural music.
C#
4
star
25

plants

A plant DNA decoding simulation
Haskell
3
star
26

data-partition

A pure disjoint set (union-find) data structure
Haskell
3
star
27

big-sleep

Custom big sleep for AI-generated images and movies
Python
3
star
28

collada

A Haskell module for loading and rendering Collada 3D model files
Haskell
3
star
29

democracy-tools

Tools that facilitate and encourage informed, rational, democratic policy discussion
JavaScript
3
star
30

Codec-Image-DevIL

DevIL bindings for Haskell
Haskell
2
star
31

record-calculus

An assumption-tracking "object calculus"
Haskell
2
star
32

CodeCatalog

A social coding/code sharing site oriented around small, reusable snippets
JavaScript
2
star
33

merge3

A web-based 3 way interactive merge tool
PHP
2
star
34

typeclass-constructions

A repository for the Constructions on Typeclasses series of blog posts
Haskell
2
star
35

hacksmith

A language-independent structural editor
JavaScript
2
star
36

unamb-custom

Functional concurrency with unambiguous choice, using a custom scheduler.
Haskell
2
star
37

backward-state

A state monad that runs the state in reverse through the computation
Haskell
2
star
38

logic-db

A json predicate logic database (similar to datalog)
Haskell
2
star
39

graphics-geometrycombinators

Functional combinators for 3D geometry
Haskell
1
star
40

esp

A structural editor for Haskell
Haskell
1
star
41

coqplay

Verilog
1
star
42

fist

Functional Image System
Haskell
1
star
43

lukeper

A looper instrument for the APC40
Haskell
1
star
44

green-globs

A javascript clone of the educational graphing game Green Globs
JavaScript
1
star
45

wavelayer

"Perfect harmony" generation
Haskell
1
star
46

sequent2

A new system (IDE/language) for organizing code.
1
star
47

merlin-shipping

A shipping tracking system for Merlin's Herbal Roots
JavaScript
1
star
48

parsec-layout

Haskell-like layout combinators for parsec
Haskell
1
star
49

chromosomatics

A cute little framework for evolutionary programming
Haskell
1
star