1wilkens

Florian Wilkens's starred repositories

tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

Language:TLA103100

infosec_getting_started

A collection of resources/documentation/links/etc to help people learn about Infosec and break into the field.

Language:HTML58300

o3

Open-source implementation of the Threema protocol in Go.

Language:GoGPL-3.022400

o3rest

Auto-generated REST component. You only need this as a dependency.

Language:GoGPL-3.02800

rkt

[Project ended] rkt is a pod-native container engine for Linux. It is composable, secure, and built on standards.

Language:GoApache-2.0882900

rusl

An experimental (read: DONT USE) musl libc implementation in Rust.

Language:RustNOASSERTION29100

OpenSMTPD

This is official OpenSMTPD Portable repository. Forks, pull requests and other contributions are welcome!

Language:CNOASSERTION48700

OpenSMTPD-extras

This is the mirror of the official repository of OpenSMTPD addons

Language:C5700

nuklear

A single-header ANSI C gui library

Language:C1366600

linux-insides

A little bit about a linux kernel

Language:PythonNOASSERTION2964400

ion

Mirror of https://gitlab.redox-os.org/redox-os/ion

Language:RustMIT144900

MaterialDesignInXamlToolkit

Google's Material Design in XAML & WPF, for C# & VB.Net.

Language:C#MIT1489400

oneshallpass

A little self-contained web-page for making secure Web passwords. Works offline.

Language:JavaScriptMIT19000

HackMyResume

Generate polished résumés and CVs in HTML, Markdown, LaTeX, MS Word, PDF, plain text, JSON, XML, YAML, smoke signal, and carrier pigeon.

Language:JavaScriptMIT925300

vscode

Visual Studio Code

Language:TypeScriptMIT16075200

redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

Language:ShellMIT1495700

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustMIT5134700

Hearthstone-Deck-Tracker

A deck tracker and deck manager for Hearthstone on Windows

Language:C#460500

secpad

Secpad: A modified Etherpad, providing real-time encrypted collaborative document editing

Language:JavaScriptApache-2.0100

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION9510300

rust-users

Library for Unix users and groups in Rust.

Language:RustMIT9800

ccat

Colorizing `cat`

Language:GoMIT314800

gtk

DEPRECATED, use https://github.com/gtk-rs/gtk3-rs repository instead!

Language:RustMIT125000

google-apis-rs

A binding and CLI generator for all Google APIs

Language:RustNOASSERTION98200

osmpbfreader-rs

Read OpenStreetMap PBF files in rust.

Language:RustWTFPL11600

rust-protobuf

Rust implementation of Google protocol buffers

Language:RustMIT273100

dotfiles

Dotfile management made easy

Language:PythonNOASSERTION57500

ecc

Elliptic curve arithmetic and cryptography library in pure Rust.

Language:RustMIT9100

osmpbf

OpenStreetMap PBF file format parser in Go Lang.

Language:GoMIT13900

rust-graph

Rust implementation of a weighted directed graph.

Language:RustMIT600