QuickCheck inspired property-based testing for OCaml.

A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue

The P programming language.

Generating Programmatic Referring Expressions via Program Synthesis

https://csstipendrankings.org

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

Oblivious Algebraic Data Types

Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.

Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students

An interactive (fast) static source code analyzer

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

lanproxy是一个将局域网个人电脑、服务器代理到公网的内网穿透工具，支持tcp流量转发，可支持任何tcp上层协议（访问内网网站、本地支付接口调试、ssh访问、远程桌面、http代理、https代理、socks5代理...）。技术交流QQ群 736294209

CSAPP Labs