Popular repositories Loading

1. brein-time-utilities brein-time-utilities Public

   Forked from Breinify/brein-time-utilities

   Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.

   Java

2. toughsat toughsat Public

   Forked from hao-zi/toughsat

   Python

3. MiniSAT.cs MiniSAT.cs Public

   Forked from pjt33/MiniSAT.cs

   Simple CDCL SAT solver for .Net

   C#

4. Streamer Streamer Public

   Forked from davidfowl/Streamer

   JSON RPC over any bidirectional stream

   C#

5. geometry3Sharp geometry3Sharp Public

   Forked from gradientspace/geometry3Sharp

   C# library for 2D/3D geometric computation, mesh algorithms, and so on. Boost license.

   C#

6. Mathfs Mathfs Public

   Forked from FreyaHolmer/Mathfs

   Expanded Math Functionality for Unity

   C#