Pinned Repositories
ale
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
autorandr
Auto-detect the connected display hardware and load the appropriate X11 setup using xrandr
Bitpoll
cargo
The Rust package manager
chomp
A fast monadic-style parser combinator designed to work on stable Rust.
combine
A parser combinator library for Rust
docker-texlive
Docker image with Tex Live.
dudel
Schedule a meeting easily with many other participants using this web app.
dyndns
gpd-ubuntu-packages
This repository shall provide the base for building ubuntu packages from most of the patches currently used to get linux on the gpd-pocket.
dario23's Repositories
dario23/ale
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
dario23/autorandr
Auto-detect the connected display hardware and load the appropriate X11 setup using xrandr
dario23/Bitpoll
dario23/cargo
The Rust package manager
dario23/chomp
A fast monadic-style parser combinator designed to work on stable Rust.
dario23/combine
A parser combinator library for Rust
dario23/docker-texlive
Docker image with Tex Live.
dario23/dudel
Schedule a meeting easily with many other participants using this web app.
dario23/dyndns
dario23/gpd-ubuntu-packages
This repository shall provide the base for building ubuntu packages from most of the patches currently used to get linux on the gpd-pocket.
dario23/iron-diesel-middleware
Middleware that provides diesel connections for the Iron web framework
dario23/jmap-rs
A JMAP parser/generator in Rust
dario23/libpnet
Cross-platform, low level networking using the Rust programming language.
dario23/maildir
dario23/meta-rust
OpenEmbedded/Yocto layer for Rust and Cargo
dario23/networkd-dispatcher
Dispatcher service for systemd-networkd connection status changes
dario23/networkd-notify
desktop notification integration for networkd
dario23/nickel.rs
An expressjs inspired web framework for Rust
dario23/nix
Rust friendly bindings to *nix APIs
dario23/overloadable
Overloadable functions in rust.
dario23/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
dario23/rcnn_pytorch
playing with resnet 18 based recurrent convolutional neural network and cifar10
dario23/rust-argparse
The command-line argument parser library for rust
dario23/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
dario23/rust-imap
IMAP client for Rust
dario23/rust-semverver
Automatic checking for semantic versioning in library crates
dario23/tokio-imap
Tokio-based IMAP implementation