mmirman/rpc-framework mmirman/rpc-framework

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 12 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mmirman/rpc-framework
github

mmirman

Reviews

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

Repository Details

Type safe anonymous remote procedures in Haskell

More Repositories

1

MentisOculi

A raytracer written in PyTorch (raynet?)
Python
240
star
2

caledon

higher order dependently typed logic programing
Haskell
163
star
3

conpig

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

ImperativeHaskell

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

haskogeneous

A web framework a bit like GWT but for Haskell
Haskell
6
star
6

Korma

A functional logical programming language
Haskell
5
star
7

regular-manifold-containers

A library for infinite and cyclic data structures
Haskell
5
star
8

lethargic-python

Non-strict, finite thunk pool lazyness for python.
Python
4
star
9

lambda-placeholders

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

forward-chan

Haskell channels with the forwarding primitive
Haskell
4
star
11

smartai

omg our AI is so smart. Much smarter than your AI
Haskell
3
star
12

class-lambda

Dependently typed logic programming in meta-haskell!
Haskell
3
star
13

mops

Monads and Sums in python
Python
3
star
14

useful-combinators

Just a bunch of useful combinators
Haskell
3
star
15

raskell

Haskell with Ordered logic
Haskell
2
star
16

order

ordered logic thesis work
TeX
2
star
17

lisp

My elisp repository
Emacs Lisp
2
star
18

cmu-skillswap-2012

A two node guess the number game, where there shall be NO PEEKING.
Haskell
2
star
19

xmonad-config

my config for xmonad
Haskell
2
star
20

korma-private

Haskell
1
star