AntonPing

Anton Ping's starred repositories

Effektos

Language:HaskellNOASSERTION800

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustMPL-2.0108400

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellBSD-3-Clause57900

Program-MSU

深圳北理莫斯科大学计算数学与控制系「莫斯科国立大学系统编程教研室」计算机相关课程攻略Guidance for courses in Department of Computational Mathematics and Cybernetics, MSU-BIT「MSU SP」

Language:C++CC-BY-SA-4.01500

localGPT

Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

Language:PythonApache-2.01966100

moonbit-docs

The docs of MoonBit programming language

Language:JavaScriptNOASSERTION88900

algorithm-w

An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml.

Language:OCamlBSD-3-Clause1000

trebor

an implementation of Observational Type Theory (OTT) and more

Language:OCaml0BSD2400

llvm-ocaml-tutorial

The LLVM tutorial using OCaml

Language:OCaml6100

SPLV20

SPLV20 course notes

Language:Idris10500

STLC

Simply-typed lambda calculus in Idris

Language:IdrisMIT400

aya-dev

A proof assistant and a dependently-typed language

Language:JavaMIT26600

history

History of type theory (Chinese).

Language:TeX30900

CEval

Language:HaskellBSD-3-Clause500

norem-draft-1

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

Language:RustApache-2.01000

bidi

bidirectional type checking algorithms for higher-ranked polymorphism

Language:HaskellBSD-3-Clause1300

RuCalculus

入墨答Rumbda, the Chinese expression of lambda calculus

Language:HaskellApache-2.06400

YAC

Yet another compiler...

Language:Haskell1000

effing-mad

Algebraic effects for Rust

Language:Rust58000

norem-draft-2

A modern functional programming language with effect system.

Language:RustApache-2.01900

alpha

A newborn programming language for extensible software

Language:Rust1600

amulet

An ML-like functional programming language

Language:HaskellBSD-3-Clause32400

haskell-compiler

A mostly functional haskell compiler written in rust

Language:RustMIT29700

woolang

A statically & strongly typed scripting language

Language:C++NOASSERTION7100

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION317500

glambda

The home of the Glamorous Glambda interpreter

Language:HaskellBSD-3-Clause21700

modern-compiler-implementation-ml

Tiger Compiler from Modern Compiler Implementation in ML

Language:Standard ML2400

run

润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题；并成为新**人的核心宗教，核心信念。

CC-BY-SA-4.03114100

Red-Black-Trees

Красно-чёрное дерево

Language:C400

j--

The official j-- base compiler

Language:JavaGPL-3.01400