stjordanis Goto Github PK

tixl-types

tizenrt

TizenRT is a lightweight RTOS-based platform to support low-end IoT devices

tk

The Tk Widget Toolkit For Tcl (Mirror of core.tcl-lang.org)

tk.jl

Julia interface to Tk windowing toolkit.

tkintcode.jl

Intcode computer from AoC 2019

tkinter-designer

Create Beautiful Tkinter GUIs by Drag and Drop ☄️

tkipf.github.io

tklib

tklib (Mirror of core.tcl-lang.org)

tl_paper

tla

A comprehensive tool for linguistic analysis of communities

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

tlaplus-monitor

Tools for conformance monitoring on Kubernetes with TLA+

tlborm

The Little Book of Rust Macros

tldr

📚 Collaborative cheatsheets for console commands

tldr-flutter

simplified man-pages, a tldr.sh client

tljh-repo2docker

Plugin for The Littlest JupyterHub to build multiple user environments with repo2docker

tljh-voila-gallery

Configuration for deploying the Voilà Gallery with The Littlest JupyterHub

tlon.io

Tlon Corp website

tls1.3

Pure Python Implementation Of TLS 1.3

tls1.3-1

pure python tls 1.3 implementation

tlsx

Unused Go package to inspect client hello message from Go application

tlynch

tm-db

Common database interface for various database backends for Tendermint Core and Cosmos SDK

tminka.github.io

Tom Minka's homepage

tmkms

Key Management service for Tendermint Validator nodes

tmpl

A small C++17 metaprogramming library

tmr-issue20

The Monad Reader: Issue 20

tms

Simplified version of Martin Ugarte (Just to be sure that it will always live)

tnb_code

tncontract

A user-friendly tensor-network library for python.