ralfjung Goto Github PK

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-bench

coq-string-ident

A plugin to translate between Ltac idents and Coq strings

coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

crater

Run experiments across parts of the Rust ecosystem!

crossbeam

Support for parallelism and low-level concurrency in Rust

csrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

dino

Modern Jabber/XMPP Client using GTK+/Vala

discourse

A platform for community discussion. Free, open, simple.

dudel

Schedule a meeting easily with many other participants using this web app.

dyn-nsupdate

Dynamically and securely update DNS zones via CGI

encoding_rs

A Gecko-oriented implementation of the Encoding Standard in Rust

fae-gtlc-mu

firejail

Linux namespaces and seccomp-bpf sandbox

flatbuffers

FlatBuffers: Memory Efficient Serialization Library

flurry

A port of Java's ConcurrentHashMap to Rust

freifunk-starthilfe

Script that generates tftp-flashing conform names for gluon on tp-link-devices

getrandom

A small cross-platform library to securely get random data (entropy)

git-mirror

Keep git repositories on multiple servers in sync

git2-rs

libgit2 bindings for Rust

gluon

This is the main repo of gluon. Start here!

gnome-shell-extension-stealmyfocus

Shell Extension that let window that demand attention to steal focus

goose

Goose converts a small subset of Go to Coq

griddle

A HashMap variant that spreads resize load across inserts

hashbrown

Rust port of Google's SwissTable hash map

highfive

Github hooks to provide an encouraging atmosphere for new contributors

homu

A bot that integrates with GitHub and your favorite continuous integration service

httparse

A push parser for the HTTP 1.x protocol in Rust.

hyper

An HTTP library for Rust

ia

A multiplayer RPG in Rust.