calvin-l Goto Github PK
Name: Calvin Loncaric
Type: User
Location: Seattle, WA
Calvin Loncaric's Projects
backup
Encrypts your files and backs them up to the cloud
calbloom
A dirt-simple Bloom filter library for C++
caltac
Calvin's basic Coq tactics
caluhash
A dirt-simple universal hashing library for C++
calvins-nix-packages
Nix packages for me. I guess someone else might find them useful too.
checker-framework
Pluggable type-checking for Java
checker-framework-plus-lombok
A demonstration of the Checker Framework and Lombok working in harmony
communitymodules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
crash-safe-io
A small Java library for crash-safe file I/O
daikon
Dynamic detection of likely invariants
emscripten
Emscripten: An LLVM-to-WebAssembly Compiler
ezpsl
The easy parallel algorithm specification language
gen2it
Compiles python-style generators to java-style iterators
glowing-llama
Wireless phone communication over audio
homebrew
The missing package manager for OS X.
homebrew-sri-csl
SRI International's Tap
homebrew-tap
My homebrew tap with miscellaneous things
jquery-ui
The official jQuery user interface library.
kqwait
Waits for events on files on Max OS X
lightweight-typestate-checker
An easy-to-use typestate checker
many-smt
An SMT frontend that runs multiple backend solvers in parallel, returning the first result
marchingtetrahedrons
A tiny, simple implementation of the marching tetrahedrons algorithm.
minilang
A tiny, surprisingly turing-complete language
nix
Nix, the purely functional package manager
nixjars
Java packages (JARs) built with Nix
nixpkgs
Nix Packages collection
objhunt
A Good Garry's Mod Prop Hunt
obscure-maven-examples
Empirical observations of poorly-documented Maven behavior
package_control_channel
Default channel file for Package Control. Follow the directions at:
packagecontrol.io
The Package Control website
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.