Samuel Ortion sortion

0 followers · 0 following

• RSS feed
• Atom feed
• SSH keys
• GPG keys

• France
• https://samuel.ortion.fr/

• Juvenile Geekus biologicus ornithologicus (an avian morph of the nominal species).

• Joined on 2023-09-20

Repositories

28

Projects Packages Public activity Starred repositories

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

fei-rocq-game-solutions

Coq 0 0

My solutions for the FEI Rocq game

Updated 2026-04-26 14:58:57 +02:00

rocq-sat

Coq 0 0

A study on a proven SAT prover with Rocq

Updated 2026-04-24 22:02:30 +02:00

rocq-natural-number-game

Makefile 0 0

A play of the Lean Natural Number game with Rocq prover

Updated 2026-04-22 20:39:51 +02:00

dicosynonym

Rust 0 0

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

metabiantes

Common Lisp 0 0

A tool to dump a part of the data of MetaCyc into a SQL file to be loaded in a relational database schema.

biocyc database metacyc pathway-tools

Updated 2026-03-23 17:30:08 +01:00

fasta-stat

Rust 0 0

FASTA alignment stat (coverage and identity percentage)

Updated 2026-02-03 17:21:25 +01:00

i3-config

0 0

i3wm config

Updated 2026-01-28 06:24:19 +01:00

orffinder-rs

Rust 0 0

A basic Open Reading Frame Finder (ORF-Finder) in Rust

Updated 2026-01-27 23:04:49 +01:00

doomconfig

Emacs Lisp 0 0

My .config/doom doomemacs config folder

Updated 2026-01-24 07:55:21 +01:00

futoshiki.web

JavaScript 0 0

A simple Futoshiki game web page integrated with the Clingo ASP solver on webassembly

Updated 2026-01-04 12:00:12 +01:00

ouisparql

Python 0 0

Run SPARQL dynamically loaded from a .rq files

SPARQL

Updated 2025-12-15 16:06:06 +01:00

hugo-mus-theme

HTML 0 0

A bespoke hugo theme, with doom-one inspired color scheme.

Updated 2025-12-12 20:40:17 +01:00

blog

Jupyter Notebook 0 0

My hugo powered blog

Updated 2025-12-12 20:39:30 +01:00

AoC

Rust 0 0

My advent of code solutions.

Updated 2025-12-06 12:17:18 +01:00

orthoptera-sound-classification

Python 0 0

A ml project to classify French orthoptera species using their stridulation sound.

Updated 2025-11-22 19:06:46 +01:00