Stars
Dafny is a verification-aware programming language
The Microsoft community Windows Package Manager manifest repository
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Modeling and Proving in Computational Type Theory
A modern supercompiler for call-by-value functional languages
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Lean Companion to the Category Theory in Context textbook by Emily Riehl
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
Bake a cake with care, follow steps the recipe gives, that’s an algorithm.
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Tricks you wish the Coq manual told you [maintainer=@tchajed]
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Minimal implementations for dependent type checking and elaboration
Я - extremely composable embeddable programming language
LINQKit is a free set of extensions for LINQ to SQL and Entity Framework power users.
NeinLinq provides helpful extensions for using LINQ providers such as Entity Framework that support only a minor subset of .NET functions, reusing functions, rewriting queries, even making them nul…
Expression interpolation and manipulation library for C#
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
HoTTEST Summer School materials
A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
Zero allocation LINQ with LINQ to Span, LINQ to SIMD, and LINQ to Tree (FileSystem, JSON, GameObject, etc.) for all .NET platforms and Unity, Godot.
Reading, writing, and processing images in a wide variety of file formats, using a format-agnostic API, aimed at VFX applications.