mmirman/ImperativeHaskell

Stars
73
Rank 433,657 (Top 9 %)
Language
Haskell
License
Other
Created over 12 years ago
Updated over 12 years ago

mmirman/ImperativeHaskell

mmirman

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

Proof that Haskell can look and act like an imperative language.

MentisOculi

A raytracer written in PyTorch (raynet?)

caledon

higher order dependently typed logic programing

conpig

A green threading library with automated concurrency for python based on a processes, signal handlers and greenlets

rpc-framework

Type safe anonymous remote procedures in Haskell

haskogeneous

A web framework a bit like GWT but for Haskell

Korma

A functional logical programming language

regular-manifold-containers

A library for infinite and cyclic data structures

lethargic-python

Non-strict, finite thunk pool lazyness for python.

lambda-placeholders

A Haskell library to emulate Scala's placeholder syntax feature.

forward-chan

Haskell channels with the forwarding primitive

smartai

omg our AI is so smart. Much smarter than your AI

class-lambda

Dependently typed logic programming in meta-haskell!

mops

Monads and Sums in python

useful-combinators

Just a bunch of useful combinators

raskell

Haskell with Ordered logic

order

ordered logic thesis work

lisp

My elisp repository

cmu-skillswap-2012

A two node guess the number game, where there shall be NO PEEKING.

xmonad-config

my config for xmonad

korma-private