Pinned Repositories
facl
Functional Access Control Language
formalized-quicksort
Implementation and Formal Verification of the Quicksort Algorithm
hlsdownloader
for downloading HLS streams as a TLS video
ngHorizonExample
this is a realtime abstract todo build with @angular 4+ and Horizon/RethinkDB backend
node-cpp-hello-world
See https://nodejs.org/docs/latest/api/addons.html#addons_hello_world
supertype
Lean Subtypes that have Super powers
swaps-perm
Mathematically defines of permutations of arrays and proves related theorems
somombo's Repositories
somombo/hlsdownloader
for downloading HLS streams as a TLS video
somombo/facl
Functional Access Control Language
somombo/formalized-quicksort
Implementation and Formal Verification of the Quicksort Algorithm
somombo/swaps-perm
Mathematically defines of permutations of arrays and proves related theorems
somombo/supertype
Lean Subtypes that have Super powers
somombo/apollo
:rocket: Open source tools for GraphQL. Central repo for discussion.
somombo/cel-spec
Common Expression Language -- specification and binary representation
somombo/deno
A secure JavaScript and TypeScript runtime
somombo/docker-deno
A Docker image for Deno
somombo/flatbuffers
FlatBuffers: Memory Efficient Serialization Library
somombo/FreestyleTrainingPlugin
Rocket League: Freestyle Training BakkesMod Plugin. Configure automatic air roll with randomization
somombo/go-ground2space
Chrome extension that redirects from the Go Playground site to Go Play-Space which has syntax highlighting
somombo/go-kit.github.io
The gokit.io website.
somombo/graphql-go
GraphQL server with a focus on ease of use
somombo/micro
A microservice runtime environment
somombo/murder-mystery
a logic murder mystery word problem solved in lean prover
somombo/nltk
NLTK Source
somombo/quadratic
Quadratic | Data Science Spreadsheet with Python & SQL
somombo/realworld
"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more 🏅
somombo/realworld-starter-kit
Starter kit for new RealWorld framework implementations
somombo/rusty_v8
V8 javascript bindings for Rust
somombo/serde_v8
Serde support for encoding/decoding rusty_v8 values
somombo/somosemi
Vscode extension that adds a semicolon to the end of the current line or at the beginning of the next newline
somombo/training-data-analyst
Labs and demos for courses for GCP Training (http://cloud.google.com/training).
somombo/try-opencv-py
Trying OpenCV in Python
somombo/try_math_exec
somombo/updater
Windows packager manager updater script
somombo/voice-assistant-builder
somombo/win_reinstall
somombo/windows-dev-box-setup-scripts
Scripts to simplify setting up a Windows developer box