Popular repositories Loading

1. hlsdownloader hlsdownloader Public

   for downloading HLS streams as a TLS video

   Go 18 3

2. facl facl Public

   Functional Access Control Language

   TypeScript 6

3. formalized-quicksort formalized-quicksort Public

   Implementation and Formal Verification of the Quicksort Algorithm

   Lean 4

4. swaps-perm swaps-perm Public

   Mathematically defines of permutations of arrays and proves related theorems

   Lean 3

5. ngHorizonExample ngHorizonExample Public

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

   TypeScript 2

6. node-cpp-hello-world node-cpp-hello-world Public

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

   C++ 2