okomok/lambdax okomok/lambdax

  • Stars
    star
    1
  • Language
    TeX
  • Created almost 9 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
okomok/lambdax
github

okomok

Reviews

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

Repository Details

An extension of lambda-lists

More Repositories

1

sing

Type-Level Metaprogramming Library in Scala
Scala
47
star
2

hano

Reactive Sequence Combinators in Scala
Scala
21
star
3

mada

A General Purpose Library for Scala (Deprecated)
Scala
15
star
4

strcat

TeX files for summary of category theory
TeX
13
star
5

ken

DSL like Haskell in Scala (toy)
Scala
10
star
6

lity

Exploring literal-level metaprogramming
Scala
8
star
7

ainan

Factor training ground
4
star
8

belt

investigating dependent-method-types
Scala
3
star
9

maven-repo

okomok maven repository
2
star
10

ooc

category theory study code
Scala
2
star
11

p-stade

Unofficial mirror of https://p-stade.svn.sourceforge.net/svnroot/p-stade/. Usage: git svn init --prefix=origin/ -s https://p-stade.svn.sourceforge.net/svnroot/p-stade; git svn fetch
C++
2
star
12

okomok.github.com

okomok pages
JavaScript
1
star
13

ngl

Scala Port of STL Algorithms
Scala
1
star
14

mouth

Functional Programming in TeX
TeX
1
star