Popular repositories Loading

1. aerospike-server aerospike-server Public

   Aerospike Database Server

   C 2 262

2. FStar FStar Public

   Forked from FStarLang/FStar

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

   F# 1

3. Legobase-Public Legobase-Public Public

   Scala 1 3

4. XOperad XOperad Public

   Forked from BartoszMilewski/XOperad

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

   Haskell 1

5. heaptrack heaptrack Public

   Forked from KDE/heaptrack

   A heap memory profiler for Linux

   C++ 1

6. thrust thrust Public

   Forked from NVIDIA/thrust

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

   C++ 1