Pinned

1. scriproxy scriproxy Public

   Easy-to-use dynamic(scriptable) reverse proxy server

   Go 27 2

2. theorem-prover theorem-prover Public

   Automated theorem prover for first-order predicate logic written in TypeScript

   TypeScript 25 2

3. kmer-sets-compression kmer-sets-compression Public

   Compression of Multiple k-mer Sets (Research)

   C++ 1 1

4. prolog prolog Public

   Implementation of Prolog in TypeScript

   TypeScript 34 2

5. image-server image-server Public

   Simple http server that accepts an image, converts it to a different format, resizes/compresses it and sends it back

   Go 32 2

6. probabilistic-database probabilistic-database Public

   A simple probabilistic database written in Python

   Python 2