Pinned Repositories
chat
Chat web app with Nodejs, Express.js, Socket.io and Bootstrap
cmaker
CMakeRPathIllustration
Small project illustrating how RPath features can be used within CMake
ImageRecognitionProject-UNT
Mp3Player
Tp3 Advanced Java
proofprocess
ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).
Sereal
Fast, binary serialization and deserialization oriented towards Perl data structures
texmaker-3.3.3
A repo to fix some of Texmakers Bugs
bchangizi's Repositories
bchangizi/chat
Chat web app with Nodejs, Express.js, Socket.io and Bootstrap
bchangizi/cmaker
bchangizi/CMakeRPathIllustration
Small project illustrating how RPath features can be used within CMake
bchangizi/ImageRecognitionProject-UNT
bchangizi/Mp3Player
Tp3 Advanced Java
bchangizi/proofprocess
ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).
bchangizi/Sereal
Fast, binary serialization and deserialization oriented towards Perl data structures
bchangizi/texmaker-3.3.3
A repo to fix some of Texmakers Bugs