Stars
Lean 4 port of Iris, a higher-order concurrent separation logic framework
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
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
Automatic white-box testing with Free monads: approach description and showcase
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
Шаблон выпускной работы на Мехмате ЮФУ
Purescript wrapper for Sequelize - http://docs.sequelizejs.com/
Code and materials for my book "Functional Design and Architecture"
Write Apps like Mathematical Equations!