fkettelhoit

Frederic Kettelhoit (fkettelhoit)

3 years after

About Frederic Kettelhoit

Summing up all of Frederic Kettelhoit's repositories they have 5 own repositories .

Frederic Kettelhoit follows 4 other users and is followed by 9 users.

Data for Frederic Kettelhoit was last updated 3 years after.

Frederic Kettelhoit use Clojure, JavaScript, ...

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.