Alexander Chichigin

5 პროექტი · 27 ★ · Rust, Haskell, JavaScript · ბიბლიოთეკები · სასწავლო · სხვა

git.ge-ის დეველოპერები GitHub-ზე

გამომწერები (1)

გამოწერები (1)

პროექტები

  1. bidirectional-demoსასწავლო

    A demo implementation of a simple bidirectional type-checker in Lean 4.

    Lean★ 9012+ თვე უცვლელი
  2. rusty-krivineსხვა

    Extended Krivine machine implemented in Rust.

    Rust★ 6012+ თვე უცვლელი
  3. krivine-extendedბიბლიოთეკები

    An implementation of extended Krivine machine.

    Haskell★ 5012+ თვე უცვლელი
  4. HomegrownVMბიბლიოთეკები

    A toy implementation of a stack VM and a compiler in Rust.

    Rust★ 4012+ თვე უცვლელი
  5. fundamentals-chartვები

    SPA showing chart of fundamental ratios for given public companies.

    JavaScript★ 3012+ თვე უცვლელი