Tristan F.-R.

auto-updating today's wordle

view oss fuzz projects

Python wrapper for Paxtools

auto-generated list of repositories on my account, mainly for catalogue info

get popular npm packages

Naive typst lexer library

A curated list of awesome Minestom libraries, resources, projects, and servers.

raw maxwell models and maxwell fan website

Signaling Pathway Reconstruction Analysis Streamliner (SPRAS)

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Nix Packages collection & NixOS

portfolio

svelte's tiling window manager

svelte + monaco integration

Cytoscape file formats reverse engineered and implemented in Python.

A CLI for generating fake disease module data using PAPER.

jigsaw example in godot

ridiculously rudimentary n-body simulation

webpage for serializable visualization of points in 3D space

The math library of Lean 4

Package for creating game theory diagrams in Typst

My personal site

readme files

personal academia webpage

A curated list of SurrealDB resources, tools, utilities, and applications.

QR code generation for a modern web

This project is about formally verifying Seymour's decomposition theorem for regular matroids.

Community maintained Astro integration of @auth/core

Convert character encodings in pure javascript.

A Lean library for Computer Science