Highlights
- Pro
Block or Report
Block or report lindlind
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
FormalArithmeticProofChecker
FormalArithmeticProofChecker PublicConsole app checks if the proof of proposition in terms of formal arithmetic is correct. It was written on Haskell using Alex and Happy.
Haskell 1
-
TuringMachineInterpreter
TuringMachineInterpreter PublicConsole app interprets a work of one-tape Turing machine according to the table of rules.
Python
-
StringFinder
StringFinder Public archiveMultithreaded app for finding such text files of directory that consist chosen string. It was written on c++ using QT Creator.
C++
-
vovaksenov99/NeuralNetwork
vovaksenov99/NeuralNetwork PublicOpen neuron network with extensible architecture and status logging.
C#
If the problem persists, check the GitHub status page or contact support.