Popular repositories Loading

1. cloudcomputecannon cloudcomputecannon Public

   Cloud Compute Cannon is a tool aimed at scientists and more general users who want to use cheap cloud providers (such as Amazon) to perform large scale computes (number crunching).

   Haxe 1 7

2. fold fold Public

   Forked from edemaine/fold

   FOLD file format for origami models, crease patterns, etc.

   CoffeeScript 1

3. MeloTTS MeloTTS Public

   Forked from myshell-ai/MeloTTS

   High-quality multi-lingual text-to-speech library by MyShell.ai. Support English, Spanish, French, Chinese, Japanese and Korean.

   Python 1

4. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++

5. minisat-examples minisat-examples Public

   Forked from niklasso/minisat-examples

   Collection of examples for the MiniSat API

   C++

6. minisatp minisatp Public

   Forked from niklasso/minisatp

   The Pseudo-Boolean Solver MiniSat+

   C++