Mike Potanin (@potan)
github

potan

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Rank 765,281 (Top 27 %)
  • Followers 21
  • Following 69
  • Registered about 14 years ago
  • Most used languages
    Rust
         33.3 %
    Clojure
         11.1 %
    Prolog
         11.1 %
    Elm
         11.1 %
    Scala
         11.1 %
    Julia
         11.1 %
    TeX
         11.1 %

Top repositories

1

dual.rs

Dual numbers in Rust.
Rust
3
star
2

grid-inheritance.clj

Declarative (grid) inheritance in Clojure.
Clojure
2
star
3

glumacro

Rust
2
star
4

MUV-dp-example

Model-Updater-View example using depend types in Idris and Scala.
Scala
2
star
5

FPure_ride

TeX
2
star
6

parsers.jl

Monadic parsers library with inheritance support
Julia
1
star
7

turtle

ELM - ROS interaction
Elm
1
star
8

tsfc

Typesafe file control in Rust.
Rust
1
star
9

pinp

Prolog in Prolog
Prolog
1
star