Beast code in Giters

Ohad Asor's starred repositories

Language:C++500

Language:JavaScript700

Web-based TML playground

Language:HTMLUnlicense400

Implementation of multi-core (binary) decision diagrams

Language:CApache-2.06500

Tau Meta-Language

Language:C++12000

Sequoia MSO Core Library and Programs

Language:C++Apache-2.01200

VATA Tree Automata Library

Language:RoffGPL-3.03100

Linux kernel source tree

Language:CNOASSERTION17652800

a memory-bound graph-theoretic proof-of-work system

Language:C++NOASSERTION82200

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION342200

A C++ GPU Computing Library for OpenCL

Language:C++BSL-1.0153100

VexCL is a C++ vector expression template library for OpenCL/CUDA/OpenMP

Language:C++MIT70100

idni.org

Language:C++NOASSERTION7500