athinimafu/tutos

Stars
1
Language
Created over 2 years ago
Updated over 2 years ago

athinimafu/tutos

athinimafu

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

tutor marketplace application

ussd_app

ipc_poc

inter process communication proof of concept using mpi and shared memory

athinimafu

recururs3lff00l

ide that gives visual trace of recursive process.

reprod

reproduction of electron-build error.

planck-app

web development text editor.

sofia_scanner

scanner of sofia syntax providing logical form of proof in bracket notation

SofiaProofSolver

Proof solver for sofia proof assistant language