Marcin Benke (@mbenke)
github

mbenke

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    86
  • Global Rank 231,664 (Top 8 %)
  • Followers 38
  • Following 3
  • Registered almost 15 years ago
  • Most used languages
    Haskell
         50.0 %
    HTML
         38.9 %
    Prolog
         5.6 %
    Python
         5.6 %
  • Location 🇵🇱 Poland
  • Country Total Rank 2,403
  • Country Ranking
    Prolog
         4
    Haskell
         7
    HTML
         164
    Python
         5,084

Top repositories

1

jnp3-haskell

Materiały do zajęć JNP3 (grupa Haskell) na MIMUW
Haskell
31
star
2

labjpp

Scenariusze na laboratoria JPP na wydziale MIM UW.
Prolog
13
star
3

zpf2013

Zaawansowane Programowanie Funkcyjne 2013
Haskell
7
star
4

zpf2012

Zaawansowane Programowanie Funkcyjne, MIMUW 2011
Haskell
6
star
5

zpf2020

Advanced Functional Programming course materials, MIMUW 2019/20
HTML
4
star
6

zpf2022

Advanced Functional Programming course 2022
HTML
3
star
7

zpf2019

Advanced Functional Programming course materials, MIMUW 2018/2019
HTML
3
star
8

vera

Exploring prover ideas for intuitionistic logic
Haskell
3
star
9

lucretia

Haskell
2
star
10

zpf2016

Zaawansowane Programowanie Funkcyjne 2016
HTML
2
star
11

labmrjp

Materiały na laboratorium MRJP na MIMUW
Haskell
2
star
12

zpf2018

HTML
2
star
13

zpf2021

Advanced Functional Programming course materials, MIMUW 2020/21
HTML
2
star
14

zpf2017

Zaawansowane Programowanie Funkcyjne MIMUW 2016/17
HTML
1
star
15

toy-interpreters

Some toy interpreters in Haskell
Haskell
1
star
16

www2018

Python
1
star
17

hasmin

Haskell
1
star
18

hm-typecheck

Hindley-Milner style type checking experiments
Haskell
1
star