mmirman/lethargic-python mmirman/lethargic-python

  • Stars
    star
    4
  • Rank 3,287,622 (Top 66 %)
  • Language
    Python
  • License
    Other
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mmirman/lethargic-python
github

mmirman

Reviews

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

Repository Details

Non-strict, finite thunk pool lazyness for python.

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

rpc-framework

Type safe anonymous remote procedures in Haskell
Haskell
15
star
6

haskogeneous

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

Korma

A functional logical programming language
Haskell
5
star
8

regular-manifold-containers

A library for infinite and cyclic data structures
Haskell
5
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