Sean Bartell's repositories

ncsa-mosaic

NCSA Mosaic 2.7

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

bcdb

A database and infrastructure for distributed processing of LLVM bitcode.

Language:C++License:NOASSERTIONStargazers:8Issues:4Issues:12

bcdb-private

OBSOLETE - replaced with https://github.com/yotann/bcdb

alive2

Automatic verification of LLVM optimizations

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

allvm-tools

ALLVM Tools

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

docker-cpuminer-bench

Benchmark CPU miners

Language:ShellLicense:UnlicenseStargazers:0Issues:1Issues:0

dragonbox

Reference implementation of Dragonbox in C++

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

fernly

Fernvale research OS

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

klee

KLEE Symbolic Virtual Machine

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

llvm-lit

llvm/utils/lit subtree split from llvm

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

multicodec

Compact self-describing codecs. Save space by using predefined multicodec tables.

License:MITStargazers:0Issues:0Issues:0

nng

nanomsg-next-generation -- light-weight brokerless messaging

License:MITStargazers:0Issues:0Issues:0

QCBOR

Comprehensive, powerful, commercial-quality CBOR encoder/ decoder that is still suited for small devices.

Language:CStargazers:0Issues:0Issues:0

specs

Content-addressed, authenticated, immutable data structures

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

udocker

A basic user tool to execute simple docker containers in batch or interactive systems without root privileges

License:Apache-2.0Stargazers:0Issues:0Issues:0

vaccine-feed-ingest

Tools to download and aggregate feeds of vaccination clinic location information in the United States.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

waf

The Waf build system

Language:PythonStargazers:0Issues:1Issues:0

warc-specifications

Centralised repository for WARC usage specifications.

Language:HTMLStargazers:0Issues:0Issues:0

zstd

Zstandard - Fast real-time compression algorithm

License:NOASSERTIONStargazers:0Issues:0Issues:0