Proofs in Coq for the book Reflective Programs in Tree Calculus

🫧🧬 From fragmented assemblies to high-quality bacteriophage genomes

Source for the d∃∀duction project.

Ideas for creating and sustaining high performance organizations

From the Transistor to the Web Browser, a rough outline for a 12 week course

From the Tensor to Stable Diffusion, a rough outline for a 1 week course.

We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as computational evidence for Dasgupta and Kakde (2021) Brumer-Stark…

The Emmy Computer Algebra System.

OCCAM Reconstructability Analysis Tools

The FoCaLiZe development environment

a HTTP(s) addressing scheme for BitTorrent

The code of MolView.org

A curated list of Cheminformatics libraries and software.

A curated list of Python packages related to chemistry

OpenChem: Deep Learning toolkit for Computational Chemistry and Drug Design Research

Finite volume solver for incompressible multiphase flows with surface tension. Foaming flows in complex geometries.

The official sources for the RDKit library

A massively parallel, high-level programming language

The MaPLe compiler: efficient and scalable parallel functional programming

Simple shell script to enter text using whisper using yad, openai, possibly chatgpt

Clinical charting tool for physicians. Automatically generates structured SOAP notes from telehealth appointment recordings or clinical audio memos.

MLX: An array framework for Apple silicon

A Rust verification tool

GritQL is a query language for searching, linting, and modifying code.

Complete implementations from "Algorithms for Modern Hardware"

Yet another console text editor, but with lsp support

Voice command set for Talon, community-supported.

A C Compiler that fits in the 512 byte boot sector of an x86 machine

Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.

DDO a generic and efficient framework for MDD-based optimization.