martinjos
PhD student at Newcastle University in North East England.
Newcastle University, UKSunderland, Tyne and Wear, UK
Pinned Repositories
dlinear4
Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)
ffi-serial
Pure Ruby FFI implementation of serial port interface that returns a serial port configured IO Object. The benefit being the functionality provided by Ruby IO object
magic-pinyin
Chinese font(s) with Pinyin ligatures
nn-circle
Generate ReLU neural networks for unit circle classification problem, in smt2 format.
nohups
I'm not maintaining this. I don't use it any more.
pkunzip-deflate-ruby
Implementation of PKZip and Deflate in Ruby (decompression only)
PySnake
OO Python-based "snake" game demonstrating the MVC design pattern
qsopt-ex
dlinear4's modified version of Debian's qsopt-ex (https://salsa.debian.org/med-team/qsopt-ex). Included in dlinear4 as a git submodule.
rb3_driver
Experimental RB3 Wireless MIDI Keyboard Driver
martinjos's Repositories
martinjos/rb3_driver
Experimental RB3 Wireless MIDI Keyboard Driver
martinjos/dlinear4
Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)
martinjos/qsopt-ex
dlinear4's modified version of Debian's qsopt-ex (https://salsa.debian.org/med-team/qsopt-ex). Included in dlinear4 as a git submodule.
martinjos/pkunzip-deflate-ruby
Implementation of PKZip and Deflate in Ruby (decompression only)
martinjos/ffi-serial
Pure Ruby FFI implementation of serial port interface that returns a serial port configured IO Object. The benefit being the functionality provided by Ruby IO object
martinjos/nn-circle
Generate ReLU neural networks for unit circle classification problem, in smt2 format.
martinjos/Anki-Android
Anki on Android
martinjos/Arduino
open-source electronics prototyping platform
martinjos/atco
ATCO-CIF parser written in Ruby
martinjos/CyLP
A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.
martinjos/dfa_lalr_ruby
DFAs and LALR parsers
martinjos/Dojo-repo
martinjos/dreal4
SMT Solver for Nonlinear Theories of Reals
martinjos/hanzi2pinyin
Converts Mandarin language text from Hanzi (Chinese characters) into Pinyin.
martinjos/i2cdevlib
I2C device library collection for AVR/Arduino or other C++-based MCUs
martinjos/ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
martinjos/jldd
JLDD - Java Lister of Dynamic Dependencies
martinjos/katakana2romaji
Extension for Google Chrome and Firefox that converts Japanese katakana into rōmaji.
martinjos/martinjos.github.io
My website
martinjos/mediawiki
The collaborative editing software that runs Wikipedia. This is a mirror from https://gerrit.wikimedia.org. See https://www.mediawiki.org/wiki/Developer_access for contributing.
martinjos/mintty
The Cygwin Terminal – terminal emulator for Cygwin and MSYS
martinjos/miraheze-puppet
Production Puppet code
martinjos/mw-config
MediaWiki production config
martinjos/osmdroid
OpenStreetMap-Tools for Android
martinjos/popcluster
Cluster England's territory by population using k-Means
martinjos/ReluVal
The released code of ReluVal in USENIX Security 2018
martinjos/rloop
Reverse loopback userspace filesystem - presents a directory as a FAT image
martinjos/ruby-openssl
Provides SSL, TLS and general purpose cryptography.
martinjos/scrapy
Scrapy, a fast high-level screen scraping and web crawling framework for Python.
martinjos/traveline-tools
Tools for working with UK government Traveline and NaPTAN data.