AntonPing

Anton Ping's repositories

A modern functional programming language with effect system.

Language:RustApache-2.019 20

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

Language:RustApache-2.01000

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

Language:C900

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

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".

Language:RustApache-2.03 10

A combinator-based virtual machine with a repl.(Written in rust)

Language:Rust100

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

Language:HaskellMIT1 10

for learning idris2

Language:Idris100

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

入墨答Rumbda, the Chinese expression of lambda calculus

Language:HaskellApache-2.0000

SPLV20 course notes

000

a small C++ project (homework)

Language:C++000