Matt Arsenault (arsenm)

arsenm

Geek Repo

Location:Earth

Github PK Tool:Github PK Tool


Organizations
Milkyway-at-home

Matt Arsenault's repositories

sanitizers-cmake

CMake modules to help use sanitizers

Language:CMakeLicense:NOASSERTIONStargazers:375Issues:30Issues:14

Clutterhs

Clutter Haskell bindings

libarchive

Multi-format archive and compression library

Language:CLicense:NOASSERTIONStargazers:2Issues:2Issues:0

assholedoth

Asshole.h is a complete language built off of C++ [satire]

Language:CStargazers:1Issues:2Issues:0

DoubleFinder

Does it have doubles?

Language:Objective-CLicense:GPL-3.0Stargazers:1Issues:5Issues:0

gitignore

A collection of useful .gitignore templates

glfw

A multi-platform library providing OpenGL, window and input

Language:CLicense:ZlibStargazers:1Issues:2Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

License:NOASSERTIONStargazers:1Issues:1Issues:0

nyantop

A very important and complex application, creating occasional nyan cat flybys on your desktop.

Language:Objective-CStargazers:1Issues:2Issues:0

protobuf-cmake

CMake build support for Google Protobufs

alive

Alive: Automatic LLVM's Instcombine Verifier

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

alive2

Automatic verification of LLVM optimizations

Language:C++License:MITStargazers:0Issues:1Issues:0

bullet3

My fork of Bullet Physics 2&3

Language:C++Stargazers:0Issues:2Issues:0

checkedc

Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

codsproject.org

Website for CODS

Language:CSSStargazers:0Issues:4Issues:0

cppzmq

C++ binding for 0MQ

Language:C++Stargazers:0Issues:2Issues:0

curl

Curl is a tool and libcurl is a library for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TFTP, SCP, SFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hcc

HCC is an Open Source, Optimizing C++ Compiler for Heterogeneous Compute

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

libzmq

ØMQ libzmq core library -- development trunk

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

moor

A C++ wrapper for LibArchive

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

OpenRailRouting

routing on railway tracks using OpenStreetMap data and the GraphHopper routing engine

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:3Issues:0

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes

Language:CLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

ROCm-Device-Libs

ROCm Device Libraries

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ROCm-OpenCL-Driver

ROCm OpenCL Compiler Tool Driver

Language:C++License:MITStargazers:0Issues:2Issues:0

ROCm_Documentation

ROCm Software Platform Documentation

Stargazers:0Issues:2Issues:0

rocPRIM

ROCm Parallel Primitives

Language:C++License:MITStargazers:0Issues:2Issues:0

soci

SOCI - The C++ Database Access Library. This is mirror of SOCI official repository at soci.git.sourceforge.net.

Language:C++Stargazers:0Issues:2Issues:0

stp

Simple Theorem Prover.

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

subnormal_test

Tests for daz/ftz behavior

Language:C++License:MITStargazers:0Issues:3Issues:0

tinyformat

Minimal, type safe printf replacement library for C++

Language:C++Stargazers:0Issues:2Issues:0