Popular repositories Loading

1. aerospike-server aerospike-serverPublic

   Aerospike Database Server

   C 2 261

2. FStar FStarPublic

   Forked from FStarLang/FStar

   An ML-like language with a type system for program verification

   F# 1

3. Legobase-Public Legobase-PublicPublic

   Scala 1 3

4. XOperad XOperadPublic

   Forked from BartoszMilewski/XOperad

   The implementation of tic-tac-toe using an operadic comonad

   Haskell 1

5. heaptrack heaptrackPublic

   Forked from KDE/heaptrack

   A heap memory profiler for Linux

   C++ 1

6. thrust thrustPublic

   Forked from NVIDIA/thrust

   Thrust is a parallel algorithms library which resembles the C++ Standard Template Library (STL).

   C++ 1