QuentinJanuel

Engineer

amptalkTokyo

Pinned Repositories

2LTT-playground
Language:Rust0 2 00
AccessDB-parser
A pure javascript Microsoft AccessDB files (.mdb, .accdb) parser
Language:TypeScript8 4 35
api
Language:TypeScript10
AutomatedValues
Wikibase extension that allows defining rules to automatically set labels or aliases based on Statement values
Language:PHP00
Barycentric-coordinates-system
Language:JavaScript0 1 00
batch-ingestion-client-ts
Language:TypeScript0 2 00
bigdata-project
Language:Jupyter Notebook00
PORTSAT
Computational model of argumentation
Language:Python1 3 00
proof-assistant.ts
Language:TypeScript2 2 00
sat-portfolio
A Rust library that provides SAT solvers
Language:C00

QuentinJanuel's Repositories

QuentinJanuel/AccessDB-parser
A pure javascript Microsoft AccessDB files (.mdb, .accdb) parser
Language:TypeScript8 4 35
QuentinJanuel/proof-assistant.ts
Language:TypeScript2 2 00
QuentinJanuel/api
Language:TypeScript10
QuentinJanuel/PORTSAT
Computational model of argumentation
Language:Python1 3 00
QuentinJanuel/2LTT-playground
Language:Rust0 2 00
QuentinJanuel/AutomatedValues
Wikibase extension that allows defining rules to automatically set labels or aliases based on Statement values
Language:PHP00
QuentinJanuel/Barycentric-coordinates-system
Language:JavaScript0 1 00
QuentinJanuel/batch-ingestion-client-ts
Language:TypeScript0 2 00
QuentinJanuel/bigdata-project
Language:Jupyter Notebook00
QuentinJanuel/edited-opengmk
Language:Rust00
QuentinJanuel/sat-portfolio
A Rust library that provides SAT solvers
Language:C00
QuentinJanuel/stats-textuelles
Language:Python00
QuentinJanuel/EuKnowledgeGraph
This repository contains the Wikibase configuration of the EU Knowledge Graph
Language:PHP1 0
QuentinJanuel/GEMIA
Our raspberry pi console
Language:JavaScript0 0
QuentinJanuel/GEMIA_Games
Games folder of our GEMIA console
Language:JavaScript1 0
QuentinJanuel/glucose
Language:C++2 0
QuentinJanuel/gm8emu-wasm
Language:TypeScript
QuentinJanuel/hdt-java-impl-quad
HDT Java library and tools.
Language:Java0 0
QuentinJanuel/Huffman
Language:TeX1 0
QuentinJanuel/kysely
A type-safe typescript SQL query builder
Language:TypeScript
QuentinJanuel/manysat
Language:C++2 0
QuentinJanuel/maplesat
Language:C++
QuentinJanuel/oc-m1-2021
Language:JavaScript1 0
QuentinJanuel/openapi-zod-client
Generate a zodios (typescript http client with zod validation) from an OpenAPI spec (json/yaml)
Language:TypeScript
QuentinJanuel/Project-DAAR
Language:TypeScript
QuentinJanuel/ProjectOCaml
Our OCaml's college project.
Language:OCaml0 8
QuentinJanuel/src
Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
QuentinJanuel/TibLib
Library for Thibault
Language:TypeScript2 0
QuentinJanuel/uiua
A stack-oriented array programming language
Language:Rust0 0
QuentinJanuel/wikibase-release-pipeline
Language:JavaScript