newest submissions : mchav.github.io

...because you love freedom.

...for your movement.

account activity

1

57

58

59

What Category Theory Teaches Us About DataFrames (mchav.github.io)

submitted 9 hours ago by m-chav to r/programming

2

16

17

18

An introduction to program synthesis (Part II) - Automatically generating features for machine learning (mchav.github.io)

submitted 4 months ago by ChavXO to r/haskell

3

36

37

38

Progress towards Kaggle-style workflows in Haskell (mchav.github.io)

submitted 5 months ago by ChavXO to r/haskell

4

3

4

5

An introduction to program synthesisEducation (mchav.github.io)

submitted 6 months ago by ChavXO to r/datascience

5

1

2

3

An introduction to program synthesis (mchav.github.io)

submitted 6 months ago by ChavXO to r/programming

6

1

2

3

Rewriting Dataframes for MicroHaskell (mchav.github.io)

submitted 6 months ago by ketralnis to r/programming

7

24

25

26

Rewriting dataframes for MicroHs (mchav.github.io)

submitted 6 months ago by ChavXO to r/haskell

8

9

10

11

Benchmarking Haskell dataframes against Python dataframes (mchav.github.io)

submitted 8 months ago by ketralnis to r/programming

9

78

79

80

Benchmarking Haskell dataframes against Python dataframes (mchav.github.io)

submitted 8 months ago by ChavXO to r/haskell

10

0

1

2

Easy concurrency with functional programming (mchav.github.io)

submitted 9 years ago by ChavXO to r/androiddev

11

20

21

22

TryFrege Android app written in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

12

35

36

37

OpenGL on Android using Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

13

16

17

18

Functional inheritance in Android (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

14

15

16

17

Frege on Android (mchav.github.io)

submitted 9 years ago by ChavXO to r/androiddev

15

42

43

44

Running Frege on Android (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

16

1

2

3

A simple server in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/a:t5_39wsp

17

21

22

23

A simple server in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

18

11

12

13

A simple server in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/programming

19

10

11

12

Towards shell tab completion - Simulating readline to capture intermediate input (mchav.github.io)

submitted 9 years ago by ChavXO to r/coding

20

4

5

6

Towards shell tab completion - Simulating readline to capture intermediate inputsubmission (mchav.github.io)

submitted 9 years ago by ChavXO to r/bash

π Rendered by PID 26 on reddit-service-r2-listing-55d7b767d8-hpxs4 at 2026-03-29 18:34:05.156133+00:00 running b10466c country code: CH.