Giters
Joe Hauns (joe-hauns)

joe-hauns

Geek Repo

1

followers

2

following

5

stars

Github PK Tool:Github PK Tool

Joe Hauns's repositories

plexus

Remove the fear of Android app compatibility on de-Googled devices.

Language:JavaScriptLicense:CC0-1.0Stargazers:1Issues:0Issues:0

benchmark_runner

Language:RustStargazers:0Issues:0Issues:0

blurz

Blurz - Bluetooth lib for Rust using blueZ/dbus

Language:RustLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

BoxAndBeans

Virtual usability test for digitally controlled hand prostheses

Language:MatlabLicense:NOASSERTIONStargazers:0Issues:0Issues:0

diagrams-playaround-123

Stargazers:0Issues:0Issues:0

license-templates

Templates for open source and other licenses

License:NOASSERTIONStargazers:0Issues:0Issues:0

metaheuristics

Language:RustStargazers:0Issues:0Issues:0

msc-automating-induction-via-reflection

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

neovim-lib

Rust library for Neovim clients

Language:RustLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

nvim-markers

Language:RustStargazers:0Issues:1Issues:0

rust-portaudio

PortAudio bindings and wrappers for Rust.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

tokio-proto

A network application framework for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tokio-timer-segfault

Language:RustStargazers:0Issues:0Issues:0

vampire

The Vampire Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0