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
Command line interface for the Phylum API
VSCode remote turned up to Debian11
This is a repository for the code posted on my blog
Stuff related to scraping the Code Review StackExchange
Coding Test Base
Mirror/fork of Balazs Komuves' Haskell combinatorics package
Simulating shitty network connections so you can build better systems.
Command-Line Python
Make/CMake workflow for running the kitchen sink of static analyzers and sanitizers
July 2018 DevOpsDSM talk
Cross-platform Rust rewrite of the GNU coreutils
Correlograms
Cortera JSON API Client Gem for Ruby
coturn TURN server project
Data analysis of COVID-19 data sets
Coz: Causal Profiling
Code examples for our book _C++ 20 for Programmers_ (Pearson, 2020)
Source code examples for our **C++20 Fundamentals LiveLessons** Videos
A powerful but simple library for measuring the performance of Haskell code.
Csmith, a random generator of C programs
GNU-alike tools for parsing RFC 4180 CSVs at high speed.
A prototype CUDA-to-OpenCL source-to-source translator, built on the Clang compiler framework
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET and TFTP. libcurl offers a myriad of powerful features
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
The Darwin Kernel (mirror)
Scripts to audit Iowa 990 filings hid by Kim Reynolds, Tom Miller, and Rob Sand from CAFR
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.