Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Calvin-L
A curated list of projects in awesome lists by Calvin-L .
https://github.com/calvin-l/marchingtetrahedrons
A tiny, simple implementation of the marching tetrahedrons algorithm.
graphics marching-tetrahedron-algorithm opengl
Last synced: 15 Oct 2024
https://github.com/calvin-l/sublime-coq-plugin
Syntax highlighting and Coq interactivity for Sublime Text 3
Last synced: 15 Oct 2024
https://github.com/calvin-l/gen2it
Compiles python-style generators to java-style iterators
Last synced: 15 Oct 2024
https://github.com/calvin-l/ui-parser
Parses hand-drawn sketches into full-blown layout code
Last synced: 04 Dec 2024
https://github.com/calvin-l/many-smt
An SMT frontend that runs multiple backend solvers in parallel, returning the first result
Last synced: 15 Oct 2024
https://github.com/calvin-l/sublime-smtlib
SMTLIB syntax highlighting for Sublime Text 3
smtlib sublime-text-3 syntax-highlighting
Last synced: 04 Dec 2024
https://github.com/calvin-l/ezpsl
The easy parallel algorithm specification language
concurrency language model-checking
Last synced: 15 Oct 2024
https://github.com/calvin-l/util
Utility scripts and wisdom for myself. Someone else might find it useful too.
Last synced: 15 Oct 2024
https://github.com/calvin-l/sublime-tlaplus
TLA+ syntax highlighting for Sublime Text 3
Last synced: 15 Oct 2024
https://github.com/calvin-l/checker-framework-plus-lombok
A demonstration of the Checker Framework and Lombok working in harmony
Last synced: 04 Dec 2024
https://github.com/calvin-l/crash-safe-io
A small Java library for crash-safe file I/O
Last synced: 04 Dec 2024
https://github.com/calvin-l/sqez
A thin thread-safe wrapper around Python's sqlite3
Last synced: 04 Dec 2024
https://github.com/calvin-l/calbloom
A dirt-simple Bloom filter library for C++
Last synced: 04 Dec 2024
https://github.com/calvin-l/pppl
The Persistent Parallel Programming Language
Last synced: 04 Dec 2024
https://github.com/calvin-l/sjforms
A small declarative-style library for validating untrusted input in Java
Last synced: 04 Dec 2024
https://github.com/calvin-l/minilang
A tiny, surprisingly turing-complete language
Last synced: 04 Dec 2024
https://github.com/calvin-l/obscure-maven-examples
Empirical observations of poorly-documented Maven behavior
Last synced: 04 Dec 2024
https://github.com/calvin-l/homebrew-tap
My homebrew tap with miscellaneous things
Last synced: 04 Dec 2024
https://github.com/calvin-l/backup
Encrypts your files and backs them up to the cloud
Last synced: 04 Dec 2024
https://github.com/calvin-l/lightweight-typestate-checker
An easy-to-use typestate checker
Last synced: 04 Dec 2024
https://github.com/calvin-l/glowing-llama
Wireless phone communication over audio
Last synced: 04 Dec 2024
https://github.com/calvin-l/snf
A Coq tactic to convert your goal to skolem normal form (SNF)
Last synced: 04 Dec 2024
https://github.com/calvin-l/calvins-nix-packages
Nix packages for me. I guess someone else might find them useful too.
Last synced: 04 Dec 2024
https://github.com/calvin-l/caluhash
A dirt-simple universal hashing library for C++
Last synced: 04 Dec 2024