Constraint Satisfaction Problem (CSP) Solver

Open Machine Learning course

Prune is a constraint logic programming language with branching heuristic.

Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci

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

Minimal implementations for dependent type checking and elaboration

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

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

The docs of MoonBit programming language

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

an implementation of Observational Type Theory (OTT) and more

The LLVM tutorial using OCaml

SPLV20 course notes

Simply-typed lambda calculus in Idris

A proof assistant and a dependently-typed language

History of type theory (Chinese).

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

bidirectional type checking algorithms for higher-ranked polymorphism

入墨答Rumbda, the Chinese expression of lambda calculus

Yet another compiler...

Algebraic effects for Rust

A modern functional programming language with effect system.

A newborn programming language for extensible software

An ML-like functional programming language

A mostly functional haskell compiler written in rust

A statically & strongly typed scripting language

Koka language compiler and interpreter