abduld Goto Github PK

sc

SC

sgemm_bench

some_old_code

spectacle

ReactJS based Presentation Library

spire

Powerful new number types and numeric abstractions for Scala.

sql-query-engine

squirrellang

http://squirrel-lang.org/

srs-hhvm-notebook

repository of summer scholarship HHVM related information

straitjacket

a restricted code execution framework

streamfusion

sublimeclangformat

A C++ code formatter based on Clang Format, for beautiful code with minimal effort in Sublime Text 3

syntax_highlighting

syntect

Rust library for syntax highlighting using Sublime Text syntax definitions.

tapl-in-minikanren-ckanren-core.logic

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

templight

Templight is a Clang-based tool to profile the time and memory consumption of template instantiations and to perform interactive debugging sessions to gain introspection into the template instantiation process.

tensorflow

Go binding for Tensorflow

terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

test_mma

the_silver_searcher

A code-searching tool similar to ack, but faster.

thih-multiparam-fundep

Typing Haskell in Haskell with multi-parameter class and functional dependecies

tpacf

triolet

A high-level parallel programming language for compute-intensive loops

typed-react

A binding layer between React and TypeScript

uaiso

A multi-language parsing infrastructure with an unified AST

ubench

unification

victor-hugo

vscode-go

An extension for VS Code which provides support for the Go language.

webcola

Javascript constraint-based graph layout

webgpu