april (@cyberglot)
github

cyberglot

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    794
  • Global Rank 36,807 (Top 2 %)
  • Followers 1,023
  • Following 626
  • Registered about 13 years ago
  • Most used languages
    Haskell
         50.0 %
    CSS
         10.0 %
    Racket
         10.0 %
    Agda     10.0 %
    Rust
         10.0 %
    Emacs Lisp
         10.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 197
  • Country Ranking
    Agda     9
    Racket
         17
    Emacs Lisp
         26
    Haskell
         36
    Rust
         225
    CSS
         428

Top repositories

1

awesome-answers

Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.
752
star
2

idris2-spacemacs

It may work, use at your own discretion.
Emacs Lisp
5
star
3

typecheckler

algebraic typechecking and elaboration of dependent types
Haskell
4
star
4

hayo-s-in-haskell

Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell
Haskell
2
star
5

typed-lvar

semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.
Agda
1
star
6

learning-plt-redex

Racket
1
star
7

cyberglot

1
star
8

a-journey-towards-unification

unfortunately not a tale about social changes
Haskell
1
star
9

markit

1
star
10

jsq

Metaprogramming JavaScript... in Haskell. A fork of jmacro
Haskell
1
star
11

elmstatic-hyde

CSS
1
star
12

DSLsofMath

Easily navigable DSLsofMath code
Haskell
1
star
13

hands-on-rust

Rust
1
star