Skip to content
View dlesbre's full-sized avatar
🐧
🐧

Block or report dlesbre

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

𝑛-Body and Extended Body Gravitation for Kerbal Space Program

C++ 873 75 Updated Apr 11, 2026

a structural diff that understands syntax 🟥🟩

Rust 24,988 462 Updated Mar 25, 2026

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Assembly 64,961 7,431 Updated Jan 22, 2026

Powered Explicit Guidance implementation for Kerbal Space Program written in kOS

KerboScript 7 Updated Mar 8, 2026

A language server for the Kerboscript (kOS) a language for Kerbal Space Program

TypeScript 32 9 Updated Feb 7, 2026

Execute code blocks inside your documentation

OCaml 287 48 Updated Mar 23, 2026

Hundreds of Kerbals were killed in the making of this mod.

C# 194 127 Updated Dec 28, 2025

A menagerie of cute implementations of modern typechecking algorithms

Rust 408 13 Updated Apr 7, 2026

An awesome list of e-graph resources

308 18 Updated Mar 21, 2026

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

TeX 103 12 Updated Dec 27, 2025

Advice for writing LaTeX documents

TeX 1,273 132 Updated Feb 10, 2026

Static analysis framework for C

OCaml 236 87 Updated Apr 10, 2026

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

Coq 543 24 Updated May 28, 2025

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

Rust 1,707 185 Updated Apr 9, 2026

Mathematical plotting library for ocaml

OCaml 41 Updated Mar 5, 2026

Documentation compiler for OCaml

OCaml 347 103 Updated Mar 11, 2026

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

HTML 762 75 Updated Dec 9, 2025

Binary Analysis Platform

OCaml 2,224 283 Updated Apr 30, 2025

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

JavaScript 62,672 4,004 Updated Apr 2, 2026
C++ 62 14 Updated Nov 20, 2025

The Z3 Theorem Prover

C++ 12,133 1,636 Updated Apr 11, 2026

The Vampire Theorem Prover

C++ 407 70 Updated Apr 9, 2026

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

TypeScript 2,035 80 Updated Jan 21, 2026

QuickCheck inspired property-based testing for OCaml.

OCaml 397 45 Updated Feb 18, 2026

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

Python 25,011 9,771 Updated Apr 10, 2026

A web-based collaborative LaTeX editor

JavaScript 17,541 1,944 Updated Apr 10, 2026

egraphs + datalog!

Rust 724 91 Updated Apr 11, 2026

🤖 Just a command runner

Rust 32,801 756 Updated Apr 11, 2026

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

Liquid 523 129 Updated Jan 15, 2024
Next