Alexander Vieth (@avieth)
github

avieth

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    118
  • Global Rank 184,302 (Top 7 %)
  • Followers 43
  • Following 6
  • Registered almost 13 years ago
  • Most used languages
    Haskell
         79.3 %
    HTML
         6.9 %
    Rust
         3.4 %
    JavaScript
         3.4 %
    Idris     3.4 %
    Nix
         3.4 %
  • Location 🇨🇦 Canada
  • Country Total Rank 5,001
  • Country Ranking
    Idris     7
    Haskell
         21
    Nix
         78
    Rust
         1,234
    HTML
         1,547

Top repositories

1

Algebraic

Experiments on the construction of functions
Haskell
29
star
2

diplomacy

The board game Diplomacy, spoken in Haskell
Haskell
13
star
3

type-lambda

First-class type-level functions
Haskell
9
star
4

type-function

Type-level functional programming
Haskell
8
star
5

reactive-dom

Haskell web user interfaces over reactive-banana and ghcjs-dom
Haskell
6
star
6

Relational

Relational database types for Haskell
Haskell
6
star
7

diplomacy-server

Play diplomacy via HTTP
HTML
5
star
8

ParsingWithProofs

Applicative/monadic parsing with dependent types
Idris
4
star
9

PullRequestNagger

Nag your peers about outstanding pull requests
Haskell
3
star
10

pilot

Redesign of copilot: Haskell EDSL for stream-based C programming
Haskell
2
star
11

nixos-rpi

Raspberry Pi 4 B NixOS bluetooth speaker
Nix
2
star
12

smtp-mail-ng

SMTP client EDSL
Haskell
2
star
13

Concurrential

Description of concurrent computation with sequential components
Haskell
2
star
14

FInterpreter

Interpretation of free monads over functor sums
Haskell
1
star
15

Versioned

Versioning and migration for Haskell datatypes.
Haskell
1
star
16

Manifest

Interface for read/write/delete key/value storage
Haskell
1
star
17

RelationalMapping

Map Haskell datatypes to Relational datatypes
Haskell
1
star
18

GraphPatterns

Haskell EDSL for declarative queries of graphs.
Haskell
1
star
19

DependentMap

Like a typical Haskell Map, but with a twist
Haskell
1
star
20

PoorMansConcurrency

Poor Man's Concurrency in JavaScript
JavaScript
1
star
21

TypeNat

Some Nat-indexed types for GHC
Haskell
1
star
22

RelationalInterpreter

Interpret Relational datatypes
Haskell
1
star
23

algorave

Rust
1
star
24

RelationalPostgreSQL

PostgreSQL interpreter for Relational
Haskell
1
star
25

ventilator

ventilator software
HTML
1
star
26

servant-xhr

XMLHttpRequest generation from servant routes using reactive-dom
Haskell
1
star
27

Authenticake

Reusable, versatile, easy authentication
Haskell
1
star
28

servant-route

A canonical route-wise definition of servant servers
Haskell
1
star
29

kpipe

Continuation-based monadic streaming experiment
Haskell
1
star