Momoko Hattori (@momohatt)
github

momohatt

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    55
  • Global Rank 312,172 (Top 11 %)
  • Followers 51
  • Following 14
  • Registered about 7 years ago
  • Most used languages
    Haskell
         50.0 %
    Jasmin     25.0 %
    C++
         12.5 %
    OCaml
         12.5 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 6,829
  • Country Ranking
    Jasmin     1
    Haskell
         70
    OCaml
         107
    C++
         2,005

Top repositories

1

hscaml

yet another toy OCaml interpreter in Haskell
Haskell
13
star
2

graten

"Gradual Tensor Shape Checking" (ESOP 23)
Haskell
8
star
3

min-caml-jvm

A tiny OCaml compiler with JVM backend πŸ«β˜•οΈ
Jasmin
8
star
4

egison-trs

Knuth-Bendix completion in Egison (and Haskell). ζŠ€θ‘“ζ›Έε…Έ7
Haskell
6
star
5

jasmin-example

Collection of learning resources for Jasmin (JVM assembler)
Jasmin
5
star
6

egison-sandbox

Pieces of code written in Egison
4
star
7

seccampDB

concurrent transaction control system from scratch
C++
4
star
8

cash

a toy shell written in OCaml 🐫🐚
OCaml
2
star
9

buchberger.egi

Buchberger's algorithm in Egison
2
star
10

indent-parser-example

Haskell
1
star