Pinned Loading

1. mdr mdr Public

   PC tool to replace the auto-update/download features of Tachiyomi extensions post v0.15.2. To be used with software such as Kavita/Komga.

   Python 3 1

2. binCynth binCynth Public

   Synthesizing black boxed library functions via symbolic execution and component based synthesis.

   Python 1

3. RandomStuff RandomStuff Public

   This repository contains random stuff that I have written and is useful. For example libraries and proved systems.

   OCaml

4. LDP LDP Public

   LDP Experiments/Implementations

   C++ 1

5. ConcurrentActorGC ConcurrentActorGC Public

   Concurrent Garbage Collection in the Actor Model

6. nim-utils nim-utils Public

   stuff i wrote for nim

   Nim