Daniël Heres

dbt-athena. dbt adapter for Athena

parser. Parser combinator library for Elm

Easing. Easing (animation and timing) library for Elm

datafusion-tokomak. Experimental optimizer for DataFusion

similarity-finder. Python tool that lists combinations of similar files (or cases of plagiarism) within a directory

meteor-elm. JavaScript

TypeConstrainedProgramSearch. Type Constrained Program Search: Superoptimization using types and pruning

avro-tools-rust. Avro tools using Rust

FpsCounter. FpsCounter for Elm

church. Control structures using church encoding

provabe-compiler. Verified compiler in Agda

superoptimizer. Simple superoptimizing "compiler"

sqlambda. Programming language for data {engineers, analysts, scientists}

monte-carlo-rnn. Monte Carlo Sampling example for Recurrent Neural Networks