NukeyFox

NukeyFox's repositories

Automated Theorem Prover tool written in C++

Language:ShellMIT000

Language:PythonMIT000

[UNSUPPORTED] Jekyll + lunr.js = static websites with powerful full-text search using JavaScript

Language:JavaScriptMIT000

Experimental repository for BJJ and MMA positions

Language:TypeScript000

Github pages website

000

Language:Haskell000

Language:Python000

The CST Register machine in its full declarative glory

Language:Prolog100

Modelling and machine learning: the foundations of data science

000

Compilation execise for CST Summer Work

Language:Java000

Language:Jupyter Notebook000

Language:Python100

OCaml code for Compiler Construction course at University of Cambridge

000

MindSpore is a new open source deep learning training/inference framework that could be used for mobile, edge and cloud scenarios.

Apache-2.0100

Open Source Computer Vision Library

Language:C++NOASSERTION000

Personal Statement Neural Network

000