mmirman/rpc-framework

Stars
15
Rank 1,371,379 (Top 28 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 12 years ago
Updated about 11 years ago

mmirman/rpc-framework

mmirman

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

Type safe anonymous remote procedures in 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.

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