Adds Haskell's lovely `where` keyword to OCaml!

Vectorization of the meme: This is fine

French cursive font for primary school teachers.

Python renderer for OpenStreetMap with custom icons intended to display as many map features as possible

Traduko de la kartludo Cross Clues

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to…

Murder-party écrite personnellement

Dusk And Dawn, No One Rises, And Vampires Fall - As They Fade, Hopes Remain, Strong Still Above All

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]

Traduko de la kartludo Once Upon a Time

a fast, extensible, type driven Haskell ECS framework for games

Emojis in OCaml, use them in your CLIs or whatever

Karaoke player, straight from your command-line!

A Library for Representing Recursive and Impure Programs in Coq

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Proof of strong induction in Coq

Formal verification for OCaml, with Rocq

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Easy to use OpenStreetMap editor for Android

Use Wikidata to generate fact cards on arbitrary topics!

🐣 A blog engine written and proven in Coq

Site permettant de comparer le programme des partis politiques candidats aux élections européennes de 2019

Global Carbon Budget Data Package

Shattered Pixel Dungeon is an open-source traditional roguelike dungeon crawler with randomized levels and enemies, and hundreds of items to collect and use. It's based on the source code of Pixel …

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter