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

Reviews

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

Repository Details

Functional concurrency with unambiguous choice, using a custom scheduler.

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

hetero-map

Pure heterogeneous maps for Haskell
Haskell
2
star
31

Codec-Image-DevIL

DevIL bindings for Haskell
Haskell
2
star
32

record-calculus

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

CodeCatalog

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

merge3

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

typeclass-constructions

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

hacksmith

A language-independent structural editor
JavaScript
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