Manuel Bärenz (@turion)
github

turion

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    249
  • Global Rank 103,600 (Top 4 %)
  • Followers 82
  • Following 7
  • Registered over 14 years ago
  • Most used languages
    Haskell
         66.7 %
    Python
         16.7 %
    TeX
         8.3 %
    Rust
         4.2 %
    Agda     4.2 %
  • Location 🇩🇪 Germany
  • Country Total Rank 5,896
  • Country Ranking
    Haskell
         15
    Agda     19
    TeX
         929
    Rust
         2,647
    Python
         9,280

Top repositories

1

rhine

Haskell Functional Reactive Programming framework with type-level clocks
Haskell
119
star
2

essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework
Haskell
62
star
3

essence-of-live-coding-tutorial

Tutorial for essence-of-live-coding
Haskell
16
star
4

has-transformers

This library `Has` transformers
Haskell
10
star
5

rhine-koans

Koans to learn rhine
Haskell
8
star
6

sonnendemo

Demonstration app for rhine-gloss containing a little simulation of a solar panel, a wind turbine and a battery
Haskell
5
star
7

dunai-bayes

Haskell
3
star
8

enigmage

An image viewer with animations, written in python
Python
3
star
9

rhine-tutorial

A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)
TeX
2
star
10

pulse-simple

Haskell bindings to the simple PulseAudio API
Haskell
2
star
11

time-domain

Haskell
2
star
12

haskell-asteroids

Haskell
1
star
13

monad-schedule

Haskell
1
star
14

smalltest

Smallcheck in Rust
Rust
1
star
15

audiogame

Haskell
1
star
16

YampaIdea

Haskell
1
star
17

agda-meetup-20200122

Agda
1
star
18

enigraph

A simple tree class, mainly for enigmage.
Python
1
star
19

hasched

Haskell
1
star
20

enigmake

Dependency resolution
Python
1
star
21

ConnectedCobordisms

TeX
1
star
22

orpheus-seminarkit-client

Python
1
star
23

hacknotts14

Haskell
1
star
24

FappingBloomBird

Haskell
1
star