Eli Rosenthal (@ezrosent)
github

ezrosent

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,643
  • Global Rank 18,855 (Top 0.7 %)
  • Followers 60
  • Registered almost 12 years ago
  • Most used languages
    Rust
         36.4 %
    Go
         18.2 %
    Idris     18.2 %
    Haskell
         18.2 %
    TeX
         9.1 %

Top repositories

1

frawk

an efficient awk-like language
Rust
1,252
star
2

allocators-rs

Allocators in Rust
Rust
304
star
3

art-rs

Adaptive Radix Tree in Rust
Rust
55
star
4

wf_hash_writeup

Writeup of wait-free hash table design
TeX
6
star
5

FLK-Semantics

Writing out small-step and big-step operational semantics for the FLK language in Idris
Idris
5
star
6

TAPL-idris

Examples of some TAPL examples in the idris language
Idris
3
star
7

equirecursive-golang

Brief demonstration of Go's inclusion of (equi)recursive types
Go
3
star
8

RuSTM

software transactional memory for rust-lang
Rust
3
star
9

regen

Compile-time regular expression parsing for go-lang.
Go
2
star
10

s-explore

Semantics Exploration
Haskell
2
star
11

lock-comonad

Toying around with representing locks and scoping rules as indexed (co)monads in Haskell.
Haskell
1
star
12

normalization-system-f-notes

Notes around strong normalization for system f.
1
star