Iurii Zamiatin (@RiscInside)
github

RiscInside

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 458,219 (Top 16 %)
  • Followers 22
  • Following 14
  • Registered over 4 years ago
  • Most used languages
    Haskell
         33.3 %
    OCaml
         16.7 %
    C
         16.7 %
    Shell
         16.7 %
    Rust
         16.7 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 25,609
  • Country Ranking
    OCaml
         100
    Haskell
         268
    Rust
         770
    C
         2,568
    Shell
         6,906

Top repositories

1

LanguageEtudes

Components of programming languages, all implemented in self-contained files
OCaml
9
star
2

lang2

Lang was so good they made lang2
Rust
9
star
3

theo

Probably worse than javascript
Haskell
6
star
4

WACC-to-C

WACC to C transpiler
C
4
star
5

ProofVerifier

Simple verification tool for proofs in propositional calculus (first order logic support on standby) written in Haskell
Haskell
3
star
6

bootstrap-snapfuzz

Scripts for building snapfuzz
Shell
1
star