Soham Chowdhury (@evertedsphere)
github

evertedsphere

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    511
  • Global Rank 56,690 (Top 2 %)
  • Followers 89
  • Following 26
  • Registered over 4 years ago
  • Most used languages
    Haskell
         60.0 %
    Nix
         20.0 %
    Emacs Lisp
         10.0 %
    Rust
         10.0 %
  • Location 🇫🇷 France
  • Country Total Rank 1,567
  • Country Ranking
    Haskell
         3
    Nix
         5
    Emacs Lisp
         182
    Rust
         754

Top repositories

1

silica

optics for Haskell with the most amazing type errors you've seen
Haskell
243
star
2

sound-and-complete

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Haskell
84
star
3

rien

Predictable Haskell development environments with Cabal and Nix.
Nix
65
star
4

how-to-implement-dependent-type-theory

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
Haskell
38
star
5

shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste
Haskell
31
star
6

noether

Highly polymorphic algebraic structures with custom deriving strategies
Haskell
30
star
7

preposterous

An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
Haskell
17
star
8

suzuri

Rust
5
star
9

maschinen

nixops configs for systems i control
Nix
3
star
10

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)
Emacs Lisp
2
star