Anton Ping (@AntonPing)
github

AntonPing

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    49
  • Global Rank 343,928 (Top 12 %)
  • Followers 48
  • Following 52
  • Registered over 5 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     6
    Rust
         60
    Haskell
         201
    C
         627

Top repositories

1

norem-draft-2

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

norem-draft-1

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

CombVM-C

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

Modern-Compiler-Implementation-In-ML

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

norem-lang

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".
Rust
3
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