Till Ulen (tillulen)

tillulen

Geek Repo

0

following

0

stars

Company:Surfocal

Twitter:@tillulen

Github PK Tool:Github PK Tool

Till Ulen's starred repositories

password-manager-resources

A place for creators and users of password managers to collaborate on resources to make password management better.

Language:JavaScriptLicense:MITStargazers:4209Issues:98Issues:176

asm-dude

Visual Studio extension for assembly syntax highlighting and code completion in assembly files and the disassembly window

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Language:RustLicense:Apache-2.0Stargazers:2728Issues:30Issues:212

once_cell

Rust library for single assignment cells and lazy statics without macros

Language:RustLicense:Apache-2.0Stargazers:1864Issues:19Issues:86

likwid

Performance monitoring and benchmarking suite

Language:CLicense:GPL-3.0Stargazers:1663Issues:66Issues:445

rust-ipfs

The InterPlanetary File System (IPFS), implemented in Rust.

Language:RustLicense:Apache-2.0Stargazers:1264Issues:42Issues:150

verus

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:1169Issues:22Issues:457

oxigraph

SPARQL graph database

Language:RustLicense:Apache-2.0Stargazers:1023Issues:32Issues:242

intrusive-rs

Intrusive collections for Rust

Language:RustLicense:Apache-2.0Stargazers:405Issues:12Issues:58

sss

Library for the Shamir secret sharing scheme

thread_local-rs

Per-object thread-local storage for Rust

Language:RustLicense:Apache-2.0Stargazers:330Issues:9Issues:37

x86-sat

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

rust-x86

Rust library to use x86 (amd64) specific functionality and registers.

Language:RustLicense:MITStargazers:305Issues:12Issues:24

jasmin

Language for high-assurance and high-speed cryptography

Language:CoqLicense:MITStargazers:267Issues:11Issues:283

shredder

Garbage collected smart pointers for Rust

Language:RustLicense:MITStargazers:266Issues:7Issues:54

faster-utf8-validator

A very fast library for validating UTF-8 using AVX2/SSE4 instructions

atomic-rs

Generic Atomic<T> type for Rust

Language:RustLicense:Apache-2.0Stargazers:215Issues:8Issues:23

base64-avx512

Code for paper "Base64 encoding and decoding at almost the speed of a memory copy"

Language:CLicense:BSD-3-ClauseStargazers:199Issues:15Issues:3

otrv4

Off-the-Record Messaging Protocol version 4. -This is a draft- This repository is a mirror of http://bugs.otr.im/otrv4/otrv4

vscode-weaudit

Create code bookmarks and code highlights with a click.

Language:TypeScriptLicense:GPL-3.0Stargazers:173Issues:10Issues:28

rust-cpuid

cpuid library in rust.

Language:RustLicense:MITStargazers:154Issues:5Issues:48

randombytes

A portable C library for generating cypto-secure random bytes

Language:CLicense:MITStargazers:97Issues:4Issues:18

const-sha1

A sha1 implementation useable in const contexts

Language:RustLicense:Apache-2.0Stargazers:87Issues:4Issues:2

autoperf

Simplify the use of performance counters.

Language:RustLicense:MITStargazers:61Issues:4Issues:4

register-rs

Unified interface for type-safe MMIO and CPU register access in Rust

Language:RustLicense:Apache-2.0Stargazers:46Issues:15Issues:10

freefeed-server

FreeFeed server

Language:JavaScriptLicense:MITStargazers:41Issues:13Issues:81

ptlsim

Stable, non-KVM version of PTLsim.

Language:C++License:GPL-2.0Stargazers:28Issues:1Issues:0

VectorBench

Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code

Language:C++Stargazers:24Issues:4Issues:0

github-template

A template project for use with cargo-generate

Language:RustLicense:Apache-2.0Stargazers:11Issues:3Issues:0