Giters
Calvin Loncaric (Calvin-L)

Calvin-L

Geek Repo

34

followers

14

following

33

stars

Location:Seattle, WA

Github PK Tool:Github PK Tool

Calvin Loncaric's repositories

MarchingTetrahedrons

A tiny, simple implementation of the marching tetrahedrons algorithm.

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

sj3d

A simple 3D software renderer for Java

Language:JavaStargazers:12Issues:5Issues:0

sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3

Language:PythonLicense:MITStargazers:6Issues:4Issues:2

many-smt

An SMT frontend that runs multiple backend solvers in parallel, returning the first result

Language:PythonLicense:MITStargazers:5Issues:3Issues:0

ezpsl

The easy parallel algorithm specification language

Language:HaskellLicense:MITStargazers:4Issues:4Issues:1

util

Utility scripts and wisdom for myself. Someone else might find it useful too.

Language:PythonLicense:MITStargazers:4Issues:3Issues:0

sublime-tlaplus

TLA+ syntax highlighting for Sublime Text 3

Language:TLALicense:MITStargazers:3Issues:3Issues:0

calbloom

A dirt-simple Bloom filter library for C++

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

checker-framework-plus-lombok

A demonstration of the Checker Framework and Lombok working in harmony

Language:ShellLicense:MITStargazers:1Issues:2Issues:0

crash-safe-io

A small Java library for crash-safe file I/O

Language:JavaLicense:MITStargazers:1Issues:2Issues:0

pppl

The Persistent Parallel Programming Language

Language:RustLicense:MITStargazers:1Issues:4Issues:0

backup

Encrypts your files and backs them up to the cloud

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

caltac

Calvin's basic Coq tactics

Language:CoqLicense:MITStargazers:0Issues:2Issues:0

caluhash

A dirt-simple universal hashing library for C++

Language:C++License:MITStargazers:0Issues:0Issues:0

calvins-nix-packages

Nix packages for me. I guess someone else might find them useful too.

Language:NixLicense:MITStargazers:0Issues:0Issues:0

checker-framework

Pluggable type-checking for Java

Language:JavaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Language:TLALicense:MITStargazers:0Issues:1Issues:0

daikon

Dynamic detection of likely invariants

License:NOASSERTIONStargazers:0Issues:0Issues:0

emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

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

homebrew-sri-csl

SRI International's Tap

Language:RubyStargazers:0Issues:1Issues:0

homebrew-tap

My homebrew tap with miscellaneous things

Language:RubyLicense:MITStargazers:0Issues:2Issues:0

lightweight-typestate-checker

An easy-to-use typestate checker

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

nixjars

Java packages (JARs) built with Nix

Language:NixLicense:MITStargazers:0Issues:0Issues:0

ObjHunt

A Good Garry's Mod Prop Hunt

Language:LuaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

package_control_channel

Default channel file for Package Control. Follow the directions at:

Language:PythonStargazers:0Issues:2Issues:0

packagecontrol.io

The Package Control website

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

snf

A Coq tactic to convert your goal to skolem normal form (SNF)

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

tlaplus-examples

A collection of TLA⁺ specifications of varying complexities

License:NOASSERTIONStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

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