Discover @Calvin-L Open Source projects

Calvin Loncaric (@Calvin-L)

Calvin-L

Stars
81
Global Rank 242,014 (Top 9 %)
Followers 34
Following 14
Registered almost 13 years ago
Most used languages

Python
29.4 %

C++
17.6 %

Java
17.6 %

Haskell
11.8 %

Rust
5.9 %

SMT 5.9 %

Shell
5.9 %

TLA 5.9 %
Location 🇺🇸 United States
Country Total Rank 51,607
Country Ranking

SMT 16

TLA 27

Haskell
1,230

C++
5,415

Rust
8,333

Java
8,550

MarchingTetrahedrons

A tiny, simple implementation of the marching tetrahedrons algorithm.

sj3d

A simple 3D software renderer for Java

gen2it

Compiles python-style generators to java-style iterators

sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3

ui-parser

Parses hand-drawn sketches into full-blown layout code

many-smt

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

util

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

sublime-smtlib

SMTLIB syntax highlighting for Sublime Text 3

ezpsl

The easy parallel algorithm specification language

sublime-tlaplus

TLA+ syntax highlighting for Sublime Text 3

sjforms

A small declarative-style library for validating untrusted input in Java

checker-framework-plus-lombok

A demonstration of the Checker Framework and Lombok working in harmony

crash-safe-io

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

calbloom

A dirt-simple Bloom filter library for C++

pppl

The Persistent Parallel Programming Language

minilang

A tiny, surprisingly turing-complete language

sqez

A thin thread-safe wrapper around Python's sqlite3