François Garillot

comby-rust. Rust refactoring templates for comby, the structural find-and-replace tool.

llm-fragments-rust. Python

git-wordcount. An ad-hoc script to count words in my thesis repository, and build a status page using pygooglechart

thesis-spikes. Some Ssreflect demos and code snippets mentioned in my manuscript

safe-api. an exploration of type-level SAFE

pretty-mode. Emacs Lisp

writegood-mode. Minor mode for Emacs to improve English writing

texray-demo. Rust

tokio-prometheus-metered-channel. A crate integrating tokio bounded channels with Prometheus metrics

sui. Rust

dotfiles. My dotfiles. Caveat emptor.

nbe. Normalization by evaluation in Coq

rummelsnuff. Mark and close spam PRs created for HacktoberFest

ScalNet. A Scala wrapper for Deeplearning4j, inspired by Keras. Scala + DL + Spark + GPUs

rayon-scan. A parallel prefix scan function for ParallelIterator

sofia-ml. Automatically exported from code.google.com/p/sofia-ml

awesome-folding. A curated list of zero-knowledge folding schemes

gitmon. Git Repository Monitor

Lasso. The lookup singularity. Based on Spartan; built on Arkworks.

arecibo. Rust

serde-stacker. Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack

yasnippets-latex. LaTeX snippets for use with the yasnippet Emacs plugin

miden-vm. STARK-based virtual machine