My solutions for the FEI Rocq game
Updated 2026-04-26 11:13:35 +02:00
A play of the Lean Natural Number game with Rocq prover
Updated 2026-04-22 20:39:51 +02:00
A cross-platform dictionary of French synonym using data from the Centre de recherches inter-langues sur la signification en contexte (CRISCO) (Dictionnaire Électronique des Synonymes)
Updated 2026-04-18 19:33:55 +02:00
A tool to dump a part of the data of MetaCyc into a SQL file to be loaded in a relational database schema.
Updated 2026-03-23 17:30:08 +01:00
FASTA alignment stat (coverage and identity percentage)
Updated 2026-02-03 17:21:25 +01:00
A basic Open Reading Frame Finder (ORF-Finder) in Rust
Updated 2026-01-27 23:04:49 +01:00
My .config/doom doomemacs config folder
Updated 2026-01-24 07:55:21 +01:00
A simple Futoshiki game web page integrated with the Clingo ASP solver on webassembly
Updated 2026-01-04 12:00:12 +01:00
A bespoke hugo theme, with doom-one inspired color scheme.
Updated 2025-12-12 20:40:17 +01:00
A ml project to classify French orthoptera species using their stridulation sound.
Updated 2025-11-22 19:06:46 +01:00
Org-Babel mode to execute Mixed Integer Linear Programming in LP-format with lp_solve within Org-mode
Updated 2025-11-01 20:09:03 +01:00
Analyze Tandemly Arrayed Genes in soy (Glycine max)
Updated 2025-01-18 15:55:17 +01:00
Continuous BirdNET powered soundscape analysis for bird song identification
Updated 2024-05-21 21:55:16 +02:00
Org-Babel mode to execute Clingo Potassco code within Org-mode
Updated 2024-04-26 19:23:48 +02:00