mmirman/lisp

Stars
2
Language
Emacs Lisp
Created about 11 years ago
Updated almost 4 years ago

mmirman/lisp

mmirman

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

My elisp repository

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

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

cmu-skillswap-2012

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

xmonad-config

my config for xmonad

korma-private