This repo is a list of papers that discuss errors in research due to software errors

Advice for writing LaTeX documents

Static analysis framework for C

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

egg is a flexible, high-performance e-graph library

Mathematical plotting library for ocaml

Documentation compiler for OCaml and Reason

A listing of compiler, language and runtime teams for people looking for jobs in this area

Binary Analysis Platform

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

The Z3 Theorem Prover

The Vampire Theorem Prover

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

QuickCheck inspired property-based testing for OCaml.

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

A web-based collaborative LaTeX editor

egraphs + datalog!

🤖 Just a command runner

A GitHub Pages compatible Table of Contents generator without a plugin or JavaScript

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

An engine for displaying slips, the next-gen version of slides

OCaml Language Server Protocol implementation

A status/progress bar for rsync

Design discussions about the OCaml language

Customize your icons and colors directly from the Obsidian UI, including tabs, files & folders, bookmarks, tags, properties, and ribbon commands.

Site web des interENS ludiques 2021 - 2025, en ligne à l'adresse https://interludes.ens.fr

Puzzle solutions for advent of code 2022, 2023 and 2024

A synchronous language with ODEs