Markus Pfeiffer (@markuspf)
github

markuspf

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    32
  • Global Rank 457,703 (Top 17 %)
  • Followers 61
  • Following 40
  • Registered over 11 years ago
  • Most used languages
    GAP     27.3 %
    Racket
         18.2 %
    Rust
         18.2 %
    Python
         9.1 %
    Haskell
         9.1 %
    JavaScript
         9.1 %
    Idris     9.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 17,258
  • Country Ranking
    GAP     2
    Racket
         33
    Idris     36
    Rust
         826
    Haskell
         898

Top repositories

1

jupyter-kernel-gap

Jupyter kernels for GAP
GAP
12
star
2

velocypack-rs

VelocyPack in Rust
Rust
6
star
3

py-gap

Python bindings for GAP
Python
3
star
4

cloudgap

JupyterHub styling for https://cloud.gap-system.org/
JavaScript
2
star
5

GAPSyntaxTreeTools

GAP Abstract Syntax Tree Tools
GAP
2
star
6

BSGSKit

A collection of Base and Strong Generating Set Implementations
GAP
2
star
7

arangorocks-rs

ArangoDB RocksDB access in Rust
Rust
1
star
8

racket-etf

Erlang's external term format
Racket
1
star
9

9p2000

Plan9 protocol implementation in Idris using @edwinb's Protocols
Idris
1
star
10

idris-c-boehm

Idris Codegen that uses the Boehm garbage collector
Haskell
1
star
11

gap.rkt

Racket bindings for GAP
Racket
1
star