Locally run an Instruction-Tuned Chat-Style LLM

Automated verification of uniqueness property for ZKP circuits

📬 Simple, private file sharing. Mirror of https://gitlab.com/timvisee/send

GDPR letter template

An experimental compiler from Rust to WebAssembly (inactive - do not use)

gmp bindings for rust

Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.

Architectural privilege escalation on x86

The single instruction C compiler

Repository for the documentation for what was NotaryChains, now Factom

This is a command-line utility for examining the Objective-C runtime information stored in Mach-O files. It generates declarations for the classes, categories and protocols. This is the same inform…

Planning for next generation secure chat.

Google Protocol Buffers for Objective-C

A tool for securing communications between a client and a DNS resolver

Draws simple SVG sequence diagrams from textual representation of the diagram

Online signature pad for collecting and displaying signatures. We use this for digital signatures on Rent Application

The Multi-Exchange Bitcoin API offers a proper consistent and OO API access across multiple bitcoin exchanges

GPG plugin for Apple Mail

Mac OS X 10.6++ port: This is my fork for changes that I needed to get the SDK for IOS working on OS X.