silky Goto Github PK

syntcomp

Synthesis competition entry

synth

Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)

sysdig

a system exploration and troubleshooting tool

system-bus-radio

This program transmits radio on computers without radio transmitting hardware.

system-f-agda

A formalization of the polymorphic lambda calculus extended with iso-recursive types

systemc-tutorial

Brief SystemC getting started tutorial

t-mats

An open source thermodynamic modeling package completed on behalf of NASA. The Toolbox for the Modeling and Analysis of Thermodynamic Systems (T-MATS) package offers a MATLAB/Simulink toolbox that gives a developer the ability to create simulations of such thermodynamic systems as turbomachinery and gas turbines. Keywords: TMATS, Control System, Numerical Methods, Newton-Raphson, Jacobian Calculation, Propulsion, Aircraft Engine, Jet, Turbofan, Turbojet, Compressor, Turbine, Nozzle, Inlet, open source

t-par

A quantum circuit optimizer based on sum-over-paths representations

t-shirts

The first OpenSource t-shirts (probably)

t3tr0s

ta-lib

Technical Analysis Library (Java Maven mirror)

tacks

Real-time multiplayer sailing game, in your browser

tacofancy

community-driven taco repo. stars stars stars.

tadbit

tagoverflow

An interactive map of StackExchange tags.

tahoe-lafs

The Tahoe-LAFS decentralized secure filesystem.

tahoe-lafs-public-clouds

tahoe-lafs backend drivers for no-cost cloud providers

taichi

Computer Graphics R&D Infrastructure

take-home

A take-home application written in Elm and only Elm

tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

talk-2015-haskell-to-hardware

From Haskell to Hardware via CCCs

talk-2016-generic-fft

A talk on type-generic FFT in Haskell

talk-2018-deep-learning-rebooted

Invited talk for Summer BOB 2019 in Berlin

talk-2018-essence-of-ad

The simple essence of automatic differentiation

talk-2020-calculating-compilers-categorically

A talk

talks

Miscellaneous talks container, select branch for particular talk

tangram

WebGL for OpenStreetMap

tangram-es

2D and 3D map renderer using OpenGL ES

tanks-of-freedom

Indie Turn Based Strategy in Isometric Pixel Art

tao-3d

The Art of 3D, a new language for dynamic document description of real-time 3D animations