Pinned Loading

1. datafusion datafusion Public

   Forked from apache/datafusion

   Apache DataFusion SQL Query Engine

   Rust

2. Lama Lama Public

   Forked from PLTools/Lama

   Teaching language LaMa for a compiler course

   OCaml

3. tt tt Public

   Forked from tarantool/tt

   Command-line utility to manage Tarantool applications

   Go

4. tarantool/tarantool tarantool/tarantool Public

   Get your data in RAM. Get compute close to data. Enjoy the performance.

   Lua 3.6k 409

5. tarantool/go-prompt tarantool/go-prompt Public

   Forked from c-bata/go-prompt

   Building powerful interactive prompts in Go, inspired by python-prompt-toolkit.

   Go 2

6. ITMO-PTDC-Team/LTest ITMO-PTDC-Team/LTest Public

   LTest is a framework for verifying the linearizability of C++ data structures.

   C++ 8 4