Bissi - Agent d’IA local-first et 100% hors ligne
Assistant IA privé conçu pour l'équité numérique (Afrique de l'Ouest) : modèle Gemma 4 E2B fine-tuné avec Unsloth, quantifié en Q4_K_M (3.2 Go), exécuté localement via llama.cpp et FastAPI, avec support documentaire et rendu LaTeX KaTeX sur Electron.
Stack: Gemma 4 E2B, Unsloth, llama.cpp, FastAPI, Electron, Python
Code GitHub ·
Modèle Hugging Face
Mercuria - Notebook d'expérimentation reproductible
Environnement d'expérimentation scientifique orienté preuve : formulation d'hypothèses Python personnalisées, exécution sandboxée et suivi précis des deltas de métriques entre résultats attendus et observés.
Stack: Rust, Tauri v2, TypeScript, Vite, Python subprocess
Voir le projet
Elementals - Langage scientifique compilé via LLVM
Conception d'un langage de programmation dédié au calcul multi-dimensionnel et à la physique.
Elementals introduit le support natif des nombres hypercomplexes (quaternions, octonions),
une dualité sémantique entre calculs mathématiques purs et processus à effets de bord,
et une compilation native ultra-rapide via LLVM IR et Clang.
->> Support natif des nombres hypercomplexes & architecture HyperNumber
element QuantumState:
as Field
rotation: HyperNumber = 0.5 + 1.2j + 3.4k
repr = 'State(|ψ⟩)'
->> Transformation pure mathématique
compute_phase(q, energy):
q.rotation * cos²(energy) + sin²(energy)
Stack: OCaml, Dune, LLVM IR, Clang, runtime C
Voir le projet
logariasmós - Bibliothèque de calcul scientifique en C11
Socle scientifique modulaire pour algèbre linéaire/bilinéaire, intégration numérique
et probabilités, avec gestion mémoire stricte, tests unitaires cmocka et profilage Valgrind.
// Allocation explicite & vérification de tag d'intégrité (magic)
matrix_t A = matrix_from(3, 3, (double[]){1, 0, 0, 0, 1, 0, 0, 0, 1});
tensor_t T = tensor_contract(&A, &B, 1, 0);
if (matrix_is_valid(&A) && last_status() == STATUS_OK) {
matrix_destroy(&A); // 0 fuite mémoire certifiée Valgrind
}
Stack: C11, Makefile, cmocka, valgrind, Linux
Voir le projet
Automaton Universale - Runtime pour Edge AI & Robotique
Framework d'automates découplant perception (inférence IA), décision (cœur déterministe) et action (organes physiques et garde-fous de sécurité) pour systèmes embarqués critiques.
from automata import Automaton
app = Automaton(model="edge_obstacle_q4.onnx", name="Titan-Rover")
Stack: Python 3.9+, Edge AI, architectures cyber-physiques
Voir le projet
Graphy - Bibliothèque de théorie des graphes
Bibliothèque pour la modélisation, manipulation et analyse de graphes complexes, avec architecture extensible pour les algorithmes d'optimisation et de parcours.
from graphy import Digraph, Arc, dijkstra
g = Digraph()
g.add_arc(Arc(u="α", v="β", cost=1.414))
g.add_arc(Arc(u="β", v="γ", cost=2.718))
distances, predecessors = dijkstra(g, source="α")
Stack: Python, théorie des graphes, algorithmes
Voir le projet