divipp

Results 4 repositories owned by divipp

x86-64

101
Stars
8
Forks
Watchers

Runtime code generation for x86 64 bit machine code

verified publisher icon divipp

frp_agda

26
Stars
1
Forks
Watchers

Functional Reactive Programming with Agda

verified publisher icon divipp

lensref

38
Stars
4
Forks
Watchers

References which can be joined and on which lenses can be applied

verified publisher icon divipp

lgtk

16
Stars
4
Forks
Watchers

Lens-based Gtk interface

verified publisher icon divipp