mvaz

tauri

Build smaller, faster, and more secure desktop applications with a web frontend.

llama.cpp

LLM inference in C/C++

TTS

🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

monaspace

An innovative superfamily of fonts for code

VeraCrypt

Disk encryption with strong security based on TrueCrypt

RPiPlay

An open-source AirPlay mirroring server for the Raspberry Pi. Supports iOS 9 and up.

GraphGPT

Extrapolating knowledge graphs from unstructured text using GPT-3 🕵️‍♂️

som-tsp

Solving the Traveling Salesman Problem using Self-Organizing Maps

MagInkCal

E-Ink Magic Calendar that automatically syncs to Google Calendar and runs off a battery powered Raspberry Pi Zero

airplay2-receiver

AirPlay 2 Receiver - Python implementation

safe-smart-account

Safe allows secure management of blockchain assets.

awesome-starknet

A curated list of awesome StarkNet resources, libraries, tools and more

Examples

A collection of TLA⁺ specifications of varying complexities

TokenEconomyBook

How the Web3 reinvents the Internet - Copyleft 2020, Shermin Voshmgir: Creative Commons – CC BY-NC-SA

universal-resolver

Universal Resolver implementation and drivers.

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

jsonld-signatures-bbs

A linked data proof suite for BBS+ signatures

awesome-tlaplus

A curated list of TLA+ resources.

flaskoidc

A wrapper of Flask with pre-configured OIDC support

nft-login

OpenID login for wallets owning an nft.

proof-of-assets

Proof of Assets (PoA) is a scheme designed to let entitites (operators) prove that they control a given amount of Bitcoin or other blockchain based cryptocurrency.

SASwap_TLAplus_spec

TLA+ specification for Succinct Atomic Swap smart contract

install-rpiplay

Automated install of rpiplay on Raspberry Pi

license-audit-maven-plugin

payment-channel-tla

Specification of a protocol for payment channels in TLA+

Reo

Reo is a domain specific language for the specification of interaction protocols that define (a)synchronous communication amongst components.

tlaplus-examples

Basic TLA+ Examples

Elliptic2

incognfto

Incognfto is a private NFT gallery where only the owner can view their NFTs.