Hanzhi (@MisakaCenter)
github

MisakaCenter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    79
  • Global Rank 246,367 (Top 9 %)
  • Followers 326
  • Following 224
  • Registered about 5 years ago
  • Most used languages
    Haskell
         28.6 %
    TeX
         14.3 %
    OCaml
         14.3 %
    Rust
         14.3 %
    Python
         14.3 %
    Makefile     14.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 26,625
  • Country Ranking
    OCaml
         207
    Haskell
         816
    Makefile     1,471
    TeX
         3,527
    Rust
         3,712

Top repositories

1

RayTracer.ml

🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
OCaml
18
star
2

Chi

πŸ€ Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
Python
16
star
3

AwesomePL

A Collection of Papers & Notes in Programming Language & Formal Verification
16
star
4

Pistolet

πŸ”« Toy ML-like Imperative Programming Language (WIP)
Rust
10
star
5

OPG_Parser

πŸ”ͺ OPG (Operator Precedence Grammar) Parser, in Coq.
Haskell
6
star
6

STLC

❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Haskell
5
star
7

Notes

πŸ“• My Reading/Lecture Notes
Makefile
4
star
8

OS_Project

TeX
2
star