• Stars
    star
    76
  • Rank 420,374 (Top 9 %)
  • Language
    Haskell
  • License
    MIT License
  • Created almost 12 years ago
  • Updated over 11 years ago

Reviews

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

Repository Details

An implementation of miniKanren in Haskell

More Repositories

1

docker-https-ssh-tunnel

A docker container for setting up an https endpoint that reverse ssh port forward's to a local port on your system
Dockerfile
24
star
2

Lenses

A library for functional lenses in Haskell
Haskell
14
star
3

Kathodos

A simple remake of the awesome game Descent
Python
13
star
4

pyhnet

A high level python networking library.
Python
9
star
5

TheExperiment

A C like language with type inference and other nice features that compiles to readable C
Haskell
8
star
6

FixedList

Fixed length list type for Haskell
Haskell
6
star
7

websocketd_examples

A few examples of using websocketd to visualize output from a command line utility
JavaScript
4
star
8

simultaneous-simulation

A game networking library used to help coordinate state between players
Ruby
4
star
9

pygserver

A python meta-game server
Python
3
star
10

HalfEdge

A Half-Edge data structure for Haskell
Haskell
3
star
11

rust-embedded-example

An example of using Rust in an embedded project
Rust
3
star
12

minimal-web-framework

A usable, but minimal web framework that doesn't need any bundlers, compiles, package managers, or even node.
CSS
2
star
13

VectorMatrix

A very clean fixed size vector and matrix library for haskell
Haskell
2
star
14

InfiniteTypes

A workplace for experiments with infinite types
Haskell
1
star
15

ContextT

A monad transformer that provides references (similar to the ST monad, but slower)
Haskell
1
star
16

Leibniz

A toy programming language for experimenting with types, Maybe it will eventually be useful.
Haskell
1
star
17

Camping-Mod

Welkom to the camping mod universal source for minecraft 1.4.6 and 1.4.7.
Java
1
star