chadbrewbaker Goto Github PK
Name: Chad Brewbaker
Type: User
Company: Flying Dog Solutions
Twitter: SMT_Solvers
Location: Waukee, IA
Name: Chad Brewbaker
Type: User
Company: Flying Dog Solutions
Twitter: SMT_Solvers
Location: Waukee, IA
Prepared Workspace for "Serverless Single Page Apps" @ Pragprog
July 2014 Iowa Ruby Brigade Presentation
Raw bindings to platform APIs for Rust
Compact Data Structures Library
A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
Library for using Rust functions and data structures from C.
Iowa Ruby Brigade talk on Cucmber and WATIR
Mirror of official lld git repository located at http://llvm.org/git/lld. Updated every five minutes.
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.
Doing some analysis on lustre
Mesos task load simulator framework for (cluster and Mesos) performance analysis
minitest provides a complete suite of testing facilities supporting TDD, BDD, mocking, and benchmarking.
The MongoDB Database
MonoSAT - An SMT solver for Monotonic Theories
Takes CSV or tab-delimited data from Excel and converts it into several web-friendly formats, include JSON and XML.
Mirror/fork of Yorgey's multiset-comb Haskell package
unofficial musl mirror git://git.musl-libc.org/musl
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
A library of NP problem encodings for SMT solvers.
A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.