The Hindley Milner Type Inference Algorithm

Policy Gradient is all you need! A step-by-step tutorial for well-known PG methods.

probabilistic graphical model collections

An educational resource to help anyone learn deep reinforcement learning.

Pytorch implementations of Bayes By Backprop, MC Dropout, SGLD, the Local Reparametrization Trick, KF-Laplace, SG-HMC and more

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

Koka language compiler and interpreter

Robust multi-prompt delimited control and effect handlers in C/C

A gently curated list of companies using verification formal methods in industry

A collection of tools for writing technical documents that mix Coq code and prose.

Formal specification and verification of hardware, especially for security and privacy.

Modeling and Proving in Computational Type Theory

Contextual types meet mechanized metatheory!

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

EPMC: An Extendible Probabilistic Model Checker

A collaborative bibliography of work related to the theory and practice of computational effects

A functional programming language based on algebraic effect handlers

Programming Languages Zoo

Metamath Zero specification language

A2OS Weekly 分享讨论会。

A formalization of the textbook Elements of Set Theory

A function definition package for Coq

A static analyzer for Java, C, C , and Objective-C

Finding the potential null pointer exception

microsat

LaTeX document class for NUAA, supporting bachelor/master/PH.D thesis in Chinese/English/Japanese. 南航本科、硕士、博士学位论文 LaTeX 模板

Beaker Extensions for Jupyter Notebook

RISE: "Live" Reveal.js Jupyter/IPython Slideshow Extension