Skip to content
View dabernado's full-sized avatar
  • Seattle, Washington

Block or report dabernado

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The R9 operating system

Rust 450 16 Updated Aug 28, 2024

A Rust-based userland which also adds compile-time assurances to seL4 development.

Rust 106 11 Updated Jul 25, 2023
Common Lisp 712 56 Updated Jun 7, 2020

JIT compiler and runtime for a toy language, using Cranelift

Rust 636 57 Updated Jul 12, 2023

A modular functional web framework

OCaml 357 13 Updated May 29, 2024

An open source VR headset with SteamVR supports for $200

C++ 6,436 340 Updated Jul 21, 2024

A modern runtime for JavaScript and TypeScript.

Rust 93,869 5,219 Updated Sep 4, 2024

Transmits AM radio on computers without radio transmitting hardware.

C 6,190 386 Updated Jul 29, 2024

A modern, portable, easy to use crypto library.

C 12,166 1,728 Updated Aug 19, 2024

terminal based video editor for underpowered netbooks

Shell 6 Updated Dec 11, 2017

A new kind of terminal

Rust 2,304 41 Updated Mar 27, 2017

Modular wayland window manager written in rust

Rust 602 14 Updated Feb 10, 2023

A smithy for rusty wayland compositors

Rust 1,816 155 Updated Sep 3, 2024

A simple (Wayland) compositor

C 28 3 Updated Mar 21, 2017

SCTP library for the Rust programming language

Rust 6 3 Updated Mar 9, 2022

High level SCTP networking library for Rust

Rust 20 7 Updated Apr 29, 2021

virtual network lab for babeld experiments

Shell 12 2 Updated Nov 7, 2018

A rust program designed to provide an easy interface to the Babel RPC server, on top of this a route verification system is built.

Rust 1 Updated Sep 17, 2017

Rita is a routing and billing protocol that allows devices to buy and sell bandwidth

Rust 90 24 Updated Sep 3, 2024

The Babel routing daemon

C 377 89 Updated Jul 30, 2024

JavaScript Statistical Library

JavaScript 1,757 246 Updated Jun 10, 2024

st fork for wayland

C 157 17 Updated Mar 2, 2021

prototyping vim chrome debugging

JavaScript 3 Updated Jan 3, 2023

Peer-to-peer hypermedia protocol

22,623 1,470 Updated Jan 31, 2024

Collection of scripts to build Rust for mobile platforms.

Shell 4 1 Updated Jul 17, 2017

🎙 A collection of awesome engineering podcasts! ARCHIVED in favor of https://github.com/rShetty/awesome-podcasts

Go 200 38 Updated Feb 3, 2020

Glue between Rust and Android

Rust 905 109 Updated May 6, 2020

Decentralized Edge Access Network

Rust 6 Updated Sep 17, 2019

A wayland compositor to explore 3D windowing

C++ 308 30 Updated Dec 17, 2015

🤪 A list of funny and tricky JavaScript examples

JavaScript 34,934 2,549 Updated Nov 30, 2023
Next