Data Engineering

Database, Query Engine, KV Storage, Indexing, Data Mining

19 repositories

Docs

Spec, Academic Docs

53 repositories

Embedded Systems

11 repositories

Entertainment

Game, Media

19 repositories

Exploits

4 repositories

Fun stuff

Something odd but funny.

24 repositories

Hardware Design Toolset

EDA, RTL, HLS

41 repositories

Hardware Designs

CPU, Peripheral, HDL, Circuit

46 repositories

HPC

Vector, RDMA, GPGPU, nico-nico-ni

5 repositories

Humour Project

Memes, Features running on bugs.

7 repositories

Legacy

Ultra old things. Last century mostly.

1 repository

Machine Learning

NN infrastructure

24 repositories

Mathematics

Logic, Formal, Proof, Algebra and so on...

24 repositories

Mechanics

CV and sensors and robots for automation.

4 repositories

Misc

Typeface, DIY, theorem toys, Uncategoried.

23 repositories

Models

NN models.

34 repositories

Productivity

IDEs, Editors

45 repositories

Research

Simulation

2 repositories

System Infra

Computing, Graphics, Kernel, Daemon, Container

84 repositories

Utilities

Toolkits, Libraries

170 repositories

Verification

Formal, Spec, Model checking

9 repositories

Visualization

Charts, Graphics

17 repositories

Web

Web Infra, Frameworks

35 repositories