mmirman/class-lambda

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
License
Other
Created over 12 years ago
Updated over 12 years ago

mmirman/class-lambda

mmirman

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

Dependently typed logic programming in meta-haskell!

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

ImperativeHaskell

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

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

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