TheoBessel
I'm 21 years old and I really enjoy computer science an particularly the domain of proof assistants ! Computer Science student at ENSEEIHT
TheoBessel's Stars
nlsandler/nqcc
A compiler for a tiny (but growing!) subset of C, written in OCaml.
noti0na1/socc
Simple C Compiler in OCaml
maissani/spec
A project that list specs
ProjetTOB-JavaCiv/JavaCivGame
Le jeu du projet de TOB
fastfetch-cli/fastfetch
An actively maintained, feature-rich and performance oriented, neofetch like system information tool.
mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
math-comp/math-comp
Mathematical Components
Mathieu2301/Focusrite-Control-API
Focusrite Control API
coq-community/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
videolan/vlc
VLC media player - All pull requests are ignored, please use MRs on https://code.videolan.org/videolan/vlc
videolan/dav1d
A read-only mirror of dav1d source code repository. The origin is at https://code.videolan.org/videolan/dav1d/
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
Mesabloo/snowstar
Here lies the code for the Snow* programming language, currently being rewritten.
JeanCASPAR/TIPE
unocss/unocss
The instant on-demand atomic CSS engine.
michael-dm/tinder-bot-experiment
Uriopass/Egregoria
3D City Builder without a grid
evanw/theta
SieloBrowser/sielo-jennysis
Well, maybe it's time to start over
pnggroup/libpng
LIBPNG: Portable Network Graphics support, official libpng repository
DigitalPulseSoftware/Erewhon-Game
Video game about programming your spaceships to destroy other programmed spaceships o/
Apjue/Teal
Teal is a C++ Role Play Game, based on Dofus, and scriptable with Lua
Razakhel/RaZ
Modern & multiplatform 3D game engine in C++17
Kannagi/LMP3D
Multi Platform 3D Library for PlayStation 2 /Dreamcast / Game Cube /Wii / PSP
DragonJoker/Castor3D
Multi-OS 3D engine.
Razakhel/ArcV
Computer Vision & Augmented Reality library
NazaraEngine/NazaraEngine
Nazara Engine is a cross-platform framework aimed at (but not limited to) real-time applications requiring audio, 2D and 3D real-time rendering, network and more.
nlohmann/json
JSON for Modern C++
arkena00/nei
Neuroshok Evolutive Intelligence