Geek Repo
followers
following
stars
Company:http://idni.org
Location:Israel
Home Page:http://il.linkedin.com/in/ohadasor
Github PK Tool:Github PK Tool
Web-based TML playground
Implementation of multi-core (binary) decision diagrams
Tau Meta-Language
Sequoia MSO Core Library and Programs
VATA Tree Automata Library
Linux kernel source tree
a memory-bound graph-theoretic proof-of-work system
A Dependently Typed Functional Programming Language
A C++ GPU Computing Library for OpenCL
VexCL is a C++ vector expression template library for OpenCL/CUDA/OpenMP
idni.org