Popular repositories

1. hlsdownloader hlsdownloader Public

   for downloading HLS streams as a TLS video

   Go 17 3

2. facl facl Public

   Functional Access Control Language

   TypeScript 5

3. swaps-perm swaps-perm Public

   Mathematically defines of permutations of arrays and proves related theorems

   Lean 2

4. ngHorizonExample ngHorizonExample Public

   this is a realtime abstract todo build with @angular 4+ and Horizon/RethinkDB backend

   TypeScript 1

5. node-cpp-hello-world node-cpp-hello-world Public

   See https://nodejs.org/docs/latest/api/addons.html#addons_hello_world

   C++ 1

6. supertype supertype Public

   Lean Subtypes that have Super powers

   Lean 1