fkettelhoit

Frederic Kettelhoit (fkettelhoit)

2016-07-05 21:51:44 +0800 CST

About fkettelhoit

Summing up all of fkettelhoit's repositories they have own repositories and 5 contribute repositories .

fkettelhoit follows other users and is followed by users.

Data for fkettelhoit was last updated 2016-07-05 21:51:44 +0800 CST.

fkettelhoit use JavaScript, Clojure, ...

Repository

bottom-up-datalog-js

10

A very short and simple implementation of (bottom-up) Datalog in JS

agda-prelude

5

A Prelude for the Agda Standard Library

simpler-finger-trees

2

A data structure similar to Finger Trees. In Clojure.

agda-fingertrees

1

An implementation of Finger Trees in Agda

dddd

1

A stack-based language written completely in LLVM assembly.

Contribute

bottom-up-datalog-js

bottom-up-datalog-js

10

A very short and simple implementation of (bottom-up) Datalog in JS

agda-prelude

agda-prelude

5

A Prelude for the Agda Standard Library

simpler-finger-trees

simpler-finger-trees

2

A data structure similar to Finger Trees. In Clojure.

agda-fingertrees

agda-fingertrees

1

An implementation of Finger Trees in Agda

dddd

dddd

1

A stack-based language written completely in LLVM assembly.