Git Product home page Git Product logo

Martin Sidaway's Projects

arduino icon arduino

open-source electronics prototyping platform

atco icon atco

ATCO-CIF parser written in Ruby

calendar-unimport icon calendar-unimport

Highly experimental and un-recommended "tool" to back out of a calendar import on Google Calendar. Parts only.

cylp icon cylp

A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.

dlinear4 icon dlinear4

Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)

dreal4 icon dreal4

SMT Solver for Nonlinear Theories of Reals

fbreaderj icon fbreaderj

Highly unofficial FBReaderJ project repository

ffi-serial icon 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

hanzi2pinyin icon hanzi2pinyin

Converts Mandarin language text from Hanzi (Chinese characters) into Pinyin.

i2cdevlib icon i2cdevlib

I2C device library collection for AVR/Arduino or other C++-based MCUs

ibex-lib icon ibex-lib

IBEX is a C++ library for constraint processing over real numbers.

jldd icon jldd

JLDD - Java Lister of Dynamic Dependencies

katakana2romaji icon katakana2romaji

Extension for Google Chrome and Firefox that converts Japanese katakana into rōmaji.

lp-parser icon lp-parser

Very small and simple parser for CPLEX LP files into logical Python data structures

mediawiki icon 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.

mintty icon mintty

The Cygwin Terminal – terminal emulator for Cygwin and MSYS

netscrabble icon netscrabble

So far, just a minor experiment in user interface design. Tiles can be dragged from one board to another, even across different windows.

nn-circle icon nn-circle

Generate ReLU neural networks for unit circle classification problem, in smt2 format.

nohups icon nohups

I'm not maintaining this. I don't use it any more.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.