tiptenbrink/opaque-borink

Opinionated bindings for opaque-ke

Language: Rust - Size: 291 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

tiptenbrink/munchkin Fork of ConSol-Lab/Munchkin

A minimal lazy clause generation constraint solver written in Rust used for teaching

Size: 424 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

tiptenbrink/dodekademo

Language: HTML - Size: 311 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

tiptenbrink/borink-core

Language: Rust - Size: 96.7 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

tiptenbrink/Pumpkin Fork of ConSol-Lab/Pumpkin

A lazy clause generation constraint solver written in Rust.

Language: Rust - Size: 3.01 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

tiptenbrink/tiptenbrink.github.io

Personal website of Tip ten Brink

Language: Astro - Size: 284 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

tiptenbrink/lazy-borink

Language: Rust - Size: 11.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/terrors Fork of komora-io/terrors

ergonomic and precise error handling built atop type-level set arithmetic

Language: Rust - Size: 75.2 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/tiauth

Rust authentication server using warp

Language: Rust - Size: 912 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

tiptenbrink/me

Language: Svelte - Size: 36.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/tidploy

Deploy small applications

Language: Rust - Size: 372 KB - Last synced at: 18 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/kickstart.nvim Fork of nvim-lua/kickstart.nvim

A launch point for your personal nvim configuration

Language: Lua - Size: 415 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/bunhook

Language: TypeScript - Size: 36.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/hellodeploy

Language: Shell - Size: 56.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/book

All my personal documentation in one place.

Size: 30.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/httptools Fork of MagicStack/httptools

Fast HTTP parser

Language: Python - Size: 89.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tiptenbrink/dirgh

Download single directories from GitHub

Language: Python - Size: 58.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tiptenbrink/pylearn

Simple exercise for using Polars and SQL

Language: Python - Size: 420 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tiptenbrink/sancty

Sancty is an extension to jquast/blessed for simple editor-like terminal apps

Language: Python - Size: 50.8 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

tiptenbrink/tipten

Future home of all tipten.nl pages

Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tiptenbrink/tiauthjs

Language: TypeScript - Size: 91.8 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tiptenbrink/jsonwebtoken Fork of Keats/jsonwebtoken

JWT lib in rust

Size: 377 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tiptenbrink/tiauth2

OAuth-compliant authentication server built in Rust

Language: Rust - Size: 267 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tiptenbrink/psqlsync

Tool to create basic PostgreSQL backups and restore them from local files.

Language: Python - Size: 188 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tiptenbrink/confspawn

Replace variables in configuration templates.

Language: Python - Size: 114 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/tiptenbrink

Personal GitHub profile.

Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tiptenbrink/germstore

Set of utilities for safely storing your BIP39 seed phrase

Language: Python - Size: 36.1 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tiptenbrink/textwrap

A backport of upcoming python/cpython#28136

Language: Python - Size: 68.4 KB - Last synced at: about 14 hours ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tiptenbrink/blessed Fork of jquast/blessed

Blessed is an easy, practical library for making python terminal apps

Language: Python - Size: 7.33 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tiptenbrink/statusdeploy

A web app for monitoring your other servers and deploying to them. Built using Aleph.js.

Language: TypeScript - Size: 190 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

tiptenbrink/zod

Language: TypeScript - Size: 104 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

tiptenbrink/deploy

Python package for deploying Docker containers to remote servers using Fabric

Language: Python - Size: 20.5 KB - Last synced at: 2 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

tiptenbrink/minimal Fork of pages-themes/minimal

Minimal is a Jekyll theme for GitHub Pages

Size: 404 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0