Lean 4 port of Iris, a higher-order concurrent separation logic framework

guarded interaction trees

Rocq plugin embedding Elpi

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

The core OCaml system: compilers, runtime system, base libraries

Agda is a dependently typed programming language / interactive theorem prover.

Irmin is a distributed database that follows the same design principles as Git

An OCaml library for HTTP clients and servers using Lwt or Async

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

MirageOS is a library operating system that constructs unikernels

A formalization of category theory in the Coq proof assistant.

Exchange Web Services (EWS) integration

A full implementation of the Scheme programming language for the Haskell Platform.

Minimizing Haskell programs for easier debugging of GHC compiler crashes

How to create an OS from scratch

A library for writing discord bots in haskell

Official MINIX sources - Automatically replicated from gerrit.minix3.org

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

A dependently typed programming language, a successor to Idris

Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»

Haskell to VHDL/Verilog/SystemVerilog compiler

Pure programming language

Automatic white-box testing with Free monads: approach description and showcase

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality

Blog post previews in need of peer review

Шаблон выпускной работы на Мехмате ЮФУ

Purescript wrapper for Sequelize - http://docs.sequelizejs.com/

Code and materials for my book "Functional Design and Architecture"

Write Apps like Mathematical Equations!