calvin-l Goto Github PK
Name: Calvin Loncaric
Type: User
Location: Seattle, WA
Name: Calvin Loncaric
Type: User
Location: Seattle, WA
Encrypts your files and backs them up to the cloud
A dirt-simple Bloom filter library for C++
Calvin's basic Coq tactics
A dirt-simple universal hashing library for C++
Nix packages for me. I guess someone else might find them useful too.
Pluggable type-checking for Java
A demonstration of the Checker Framework and Lombok working in harmony
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
A small Java library for crash-safe file I/O
Dynamic detection of likely invariants
Emscripten: An LLVM-to-WebAssembly Compiler
The easy parallel algorithm specification language
Compiles python-style generators to java-style iterators
Wireless phone communication over audio
The missing package manager for OS X.
SRI International's Tap
My homebrew tap with miscellaneous things
The official jQuery user interface library.
Waits for events on files on Max OS X
An easy-to-use typestate checker
An SMT frontend that runs multiple backend solvers in parallel, returning the first result
A tiny, simple implementation of the marching tetrahedrons algorithm.
A tiny, surprisingly turing-complete language
Nix, the purely functional package manager
Java packages (JARs) built with Nix
Nix Packages collection
A Good Garry's Mod Prop Hunt
Empirical observations of poorly-documented Maven behavior
Default channel file for Package Control. Follow the directions at:
The Package Control website
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.