A from-scratch constraint-satisfaction engine in Java and Spring Boot, exposed over a REST API. Backtracking search with AC-3 preprocessing, forward checking, and pluggable variable-ordering heuristics (MRV, degree, conflict-directed Dom/WDeg). Models N-Queens, Sudoku, and graph coloring over a generic constraint framework, with a min-conflicts local-search path that places 1,000 queens in about 15 ms and a live search visualization streamed over WebSockets.

Java · Spring Boot · Algorithms

A quantum circuit simulator built from scratch on NumPy, with a state-vector and density-matrix engine that uses no Qiskit, cross-verified against Qiskit to 1e-9 fidelity across every gate and 30 randomized circuits. FastAPI backend, React and Three.js frontend with a drag-and-drop circuit builder, Bloch sphere, and live histograms. Implements Grover, Deutsch-Jozsa, teleportation, QFT, phase estimation, VQE for the H2 ground state, QAOA, and error-correcting codes. A tensor-contraction gate kernel took one 10-qubit gate layer from 18.8 s to 2 ms.

React · Python · Quantum Computing

A compiler in OCaml for Bagl, a statically-typed functional language with first-class tensors and automatic differentiation. Handwritten lexer, recursive-descent parser, and Hindley-Milner type inference (union-find unification, level-based let-polymorphism) extended with a static tensor-shape type system that catches dimension mismatches at compile time. grad rewrites scalar functions into derivatives and tensor losses into reverse-mode gradients before inference, so a gradient-descent model trains entirely in the language, shape-checked end to end. Lowers to a control-flow-graph IR with optimization passes, a bytecode VM, a language server for editor diagnostics, and the whole compiler built to 147 KB of JavaScript for the in-browser playground.

OCaml · Compilers · Type Inference · try it live · language reference

Full-stack desktop + web app for managing official government correspondence. Built with .NET 9 (ASP.NET Core API, Blazor Server, Avalonia desktop client), SQLite, and JWT auth. Features multi-stage document workflows, Arabic OCR via a 2B-parameter vision-language model (Qari), digital signatures, full-text search, and bilingual Arabic/English support with RTL layout. Runs entirely on LAN with no cloud dependency.

.NET 9 · Avalonia · PyTorch · Arabic OCR

Un moteur de satisfaction de contraintes écrit de zéro en Java et Spring Boot, exposé via une API REST. Recherche par backtracking avec prétraitement AC-3, forward checking et heuristiques d'ordonnancement de variables (MRV, degré, Dom/WDeg dirigé par conflits). Modélise N-reines, Sudoku et coloration de graphes sur un cadre de contraintes générique, avec une recherche locale min-conflicts qui place 1 000 reines en environ 15 ms et une visualisation en direct diffusée par WebSockets.

Java · Spring Boot · Algorithms

Un simulateur de circuits quantiques écrit de zéro sur NumPy, avec un moteur à vecteur d'état et matrice densité sans Qiskit, vérifié contre Qiskit à une fidélité de 1e-9 sur chaque porte et 30 circuits aléatoires. Backend FastAPI, interface React et Three.js avec constructeur de circuits par glisser-déposer, sphère de Bloch et histogrammes en direct. Implémente Grover, Deutsch-Jozsa, téléportation, QFT, estimation de phase, VQE pour l'état fondamental de H2, QAOA et codes correcteurs d'erreurs. Un noyau de portes par contraction tensorielle a réduit une couche de portes à 10 qubits de 18,8 s à 2 ms.

React · Python · Quantum Computing

Un compilateur en OCaml pour Bagl, un langage fonctionnel à typage statique avec tenseurs de première classe et différentiation automatique. Analyseur lexical écrit à la main, analyseur syntaxique par descente récursive et inférence de types Hindley-Milner étendue par un système de types de formes tensorielles qui détecte les incompatibilités de dimensions à la compilation. grad réécrit les fonctions scalaires en dérivées et les pertes tensorielles en gradients en mode inverse avant l'inférence, si bien qu'un modèle à descente de gradient s'entraîne entièrement dans le langage, vérifié de bout en bout. Abaissé vers une représentation intermédiaire en graphe de flot de contrôle avec passes d'optimisation, une machine virtuelle à bytecode, un serveur de langage pour les diagnostics d'éditeur, et le compilateur entier compilé en 147 Ko de JavaScript pour le bac à sable dans le navigateur.

OCaml · Compilers · Type Inference · essayez-le en direct · référence du langage

Application bureau + web complète pour la gestion de correspondance gouvernementale officielle. Construite avec .NET 9 (ASP.NET Core API, Blazor Server, client bureau Avalonia), SQLite et auth JWT. Inclut des workflows documentaires multi-étapes, OCR arabe via un modèle vision-langage de 2B paramètres (Qari), signatures numériques, recherche plein texte et support bilingue arabe/anglais avec mise en page RTL. Fonctionne entièrement en LAN sans dépendance cloud.

.NET 9 · Avalonia · PyTorch · Arabic OCR