Anton Ping (@AntonPing)
github

AntonPing

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    55
  • Global Rank 319,043 (Top 11 %)
  • Followers 49
  • Following 52
  • Registered almost 6 years ago
  • Most used languages
    Rust
         55.6 %
    C
         22.2 %
    Haskell
         11.1 %
    Idris     11.1 %
  • Location 🇷🇺 Russia
  • Country Total Rank 4,613
  • Country Ranking
    Idris     9
    Rust
         58
    Haskell
         161
    C
         626

Top repositories

1

norem-draft-2

A modern functional programming language with effect system.
Rust
19
star
2

norem-draft-1

A native-compiled functional programming language. The word "norem" stands for "not really monadic".
Rust
10
star
3

Modern-Compiler-Implementation-In-ML

A good book, uploaded for myself and those who are interested.
9
star
4

CombVM-C

A combinator-based virtual machine with a repl.(Written in C)
C
9
star
5

norem-lang

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".
Rust
4
star
6

ccms_gc

ConCurrent Mark-Sweep Garbage Collection
C
1
star
7

CombVM-rust

A combinator-based virtual machine with a repl.(Written in rust)
Rust
1
star
8

CPrime

A C dialect with generic structure and function.
Rust
1
star
9

EoC-lab

An implementation of mini-language in the textbook "Essentials of Compilation: An Incremental Approach" in haskell for practice
Haskell
1
star
10

idris-learn

for learning idris2
Idris
1
star