Андреев Кирилл (@Heimdell)
github

Heimdell

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    34
  • Global Rank 448,273 (Top 16 %)
  • Followers 46
  • Following 45
  • Registered over 12 years ago
  • Most used languages
    Haskell
         76.5 %
    Java
         5.9 %
    Agda     5.9 %
    Elm
         5.9 %
    Ruby
         5.9 %
  • Location 🇷🇺 Russia
  • Country Total Rank 4,721
  • Country Ranking
    Agda     4
    Haskell
         22
    Elm
         23
    Ruby
         949
    Java
         2,899

Top repositories

1

LR

LR(1) parser (and generator)
Haskell
8
star
2

Slicer

Slice-viewer for blocky 3d constructs.
Haskell
3
star
3

unification-xd

Attempt to refresh and understand unification-fd
Haskell
3
star
4

descent

An analog for `multiplate`
Haskell
3
star
5

DNL

Definitely Not Lisp
Agda
2
star
6

f-omega

A "what I can squeeze" out of type inference with type-in-type, RankN and impredicativity.
Haskell
2
star
7

zipp

Zipper for any datatype
Haskell
2
star
8

december

Core language
Haskell
2
star
9

chainsaw

Haskell
1
star
10

crappy-to-js-compiler

Crappy compiler of ocaml-- to js
Haskell
1
star
11

Verify

Yet another test framework
Ruby
1
star
12

dndlist

DnD char list, elm experiments
Elm
1
star
13

components

Haskelly way to S, maybe O and D in SOLID
Haskell
1
star
14

ignus

The variant (dialect) for morte language implementation.
Haskell
1
star
15

raycast

Haskell
1
star
16

dual-effects

Yet another experiment on effect systems
Haskell
1
star
17

move-it-dammit

Minecraft mod, analog of Red Power 2
Java
1
star