maxdiefenbach

ffmpeg-scripts

ffmpeg shell scripts

gptel

A simple LLM client for Emacs

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

LaTeX-OCR

pix2tex: Using a ViT to convert images of equations into LaTeX code.

EMVA1288

Camera-characterization-using-Python

These codes, based on EMVA Standard 1288, are intended to facilitate the characterization of cameras and image sensors.

HVM

A massively parallel, optimal functional runtime in Rust

alloy-catchupto

In which I try to make an Alloy model

Category_Theory_Machine_Learning

List of papers studying machine learning through the lens of category theory

Git-Heat-Map

Visualise a git repository by diff activity

pyenv

Simple Python version management

litvis

Literate Visualization: Theory, software and examples

discopy

The Python toolkit for computing with string diagrams.

reveal.js-plugins

Plugins for reveal.js

elm-electron

pandoc-mermaid

Convert markdown to PDF with embedded mermaid diagram

sbtb-2020-type-safe-fpga

Using Depdentent and Affine Types for robust FPGA programming

three-layer

:three: :cake: Architecture of the Haskell web applications

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

threepenny-gui

GUI framework that uses the web browser as a display.

mathpix.el

Mathpix Emacs Plugin

vega-lite

A concise grammar of interactive graphics, built on Vega.

vega-embed

Publish Vega visualizations as embedded web components with interactive parameters.

reanimate

Haskell library for building declarative animations based on SVG graphics

clifford

Geometric Algebra for Python

noise2self

A framework for blind denoising with self-supervision.

nmigen

A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen

nushell

A new type of shell

hip

Haskell Image Processing Library

Color

Extensive collection of color spaces and color models