zach (@aricursion)
github

aricursion

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 708,350 (Top 25 %)
  • Followers 39
  • Following 76
  • Registered about 7 years ago
  • Most used languages
    OCaml
         28.6 %
    JavaScript
         14.3 %
    HTML
         14.3 %
    C
         14.3 %
    Lean     14.3 %
    Rust
         14.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 760,865
  • Country Ranking
    Lean     111
    OCaml
         638
    Rust
         3,500

Top repositories

1

xj9

A Minimalist PDF Viewer in Rust
Rust
11
star
2

stlc-lean

Lean
1
star
3

CompileBPV

A compiler for a fragment of SML using CBPV-based IRs
OCaml
1
star
4

LeanAlg

A WIP linear algebra library for Lean
C
1
star
5

EcoLink

@Axolotl163 @naivros @VariableV 7 and Anastasiia Gorobets' submission to EarthXHack2020
JavaScript
1
star
6

Hearthstone-Clicker

You know those websites where you click the screen and a hearthstone card comes up? Let's make those obsolete, shall we?
HTML
1
star
7

ocaml-sat

An in-progress SAT library for Ocaml
OCaml
1
star