Justin Himes's repositories
C-Encapsulation
C encapsulation example compared with C++
simple-BST
Binary search tree using iterative insertion.
Language:C000
Language:C000
cubical
An experimental library for Cubical Agda
Language:AgdaNOASSERTION000
Handwritten-Digit-Recognizer
A neural network demo that recognizes handwritten digits.
Language:C000
Math
Mathematics in Cubical Agda
Language:Agda000
xor_linked_list
Uses one pointer per node to make a doubly linked list
Language:C++000
Language:PHP000
DeepLearningPython
neuralnetworksanddeeplearning.com integrated scripts for Python 3.5.2 and Theano with CUDA support
Language:Python000
Game-of-Life
SDL2 implementation of game of life.
Language:C000
Language:Rust000
Language:Python000
UniqueLex
A scanner designed to print every unique word from a large file or drive.
Language:C000
Language:Go000