naturalog

naturalog's Stars

• torvalds/linux

  Linux kernel source tree

  Language:C186k7.8k054.7k

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1192.3k645

• boostorg/compute

  A C++ GPU Computing Library for OpenCL

  Language:C++1.6k111369335

• tromp/cuckoo

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

  Language:C++8248663172

• ddemidov/vexcl

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

  Language:C++7056420382

• IDNI/TML

  Tau Meta-Language

  Language:C++12237928

• naturalog/tauchain

  idni.org

  Language:C++754099

• trolando/sylvan

  Implementation of multi-core (binary) decision diagrams

  Language:C6983129

• ondrik/libvata

  VATA Tree Automata Library

  Language:Roff325269

• sequoia-mso/sequoia-core

  Sequoia MSO Core Library and Programs

  Language:C++123105

• IDNI/Tau-Alpha

  Language:JavaScript8601

• IDNI/Tau-Alpha-Server

  Language:C++5602

• IDNI/tml_playground

  Web-based TML playground

  Language:HTML4401