Michael DeGraw (mdegraw)

mdegraw

Geek Repo

Location:Colorado

Home Page:mdegraw.github.io

Github PK Tool:Github PK Tool

Michael DeGraw's starred repositories

LunarVim

πŸŒ™ LunarVim is an IDE layer for Neovim. Completely free and community driven.

Language:LuaLicense:GPL-3.0Stargazers:17668Issues:0Issues:0

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs πŸ¦€ to make applications with no bugs! ✈️ πŸš€ βš•οΈ 🏦

Language:CoqLicense:AGPL-3.0Stargazers:323Issues:0Issues:0

opencv-rust

Rust bindings for OpenCV 3 & 4

Language:RustLicense:MITStargazers:1833Issues:0Issues:0

facil.io

Your high performance web application C framework

Language:CLicense:MITStargazers:2047Issues:0Issues:0

valkey

A new project to resume development on the formerly open-source Redis project. We're calling it Valkey, since it's a twist on the key-value datastore.

Language:CLicense:NOASSERTIONStargazers:14198Issues:0Issues:0

mongo-rust-driver

The official MongoDB Rust Driver

Language:RustLicense:Apache-2.0Stargazers:1394Issues:0Issues:0

RT-DETR

[CVPR 2024] Official RT-DETR (RTDETR paddle pytorch), Real-Time DEtection TRansformer, DETRs Beat YOLOs on Real-time Object Detection. πŸ”₯ πŸ”₯ πŸ”₯

Language:PythonLicense:Apache-2.0Stargazers:1545Issues:0Issues:0

awesome-latticeFPGAs

:book: List of FPGA Lattice boards using open tools

Stargazers:292Issues:0Issues:0

pingora

A library for building fast, reliable and evolvable network services.

Language:RustLicense:Apache-2.0Stargazers:19934Issues:0Issues:0

open-webui

User-friendly WebUI for LLMs (Formerly Ollama WebUI)

Language:SvelteLicense:MITStargazers:26291Issues:0Issues:0

noble-curves

Audited & minimal JS implementation of elliptic curve cryptography.

Language:TypeScriptLicense:MITStargazers:604Issues:0Issues:0

neon

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

Language:RustLicense:Apache-2.0Stargazers:12980Issues:0Issues:0

htmx

</> htmx - high power tools for HTML

Language:JavaScriptLicense:NOASSERTIONStargazers:34008Issues:0Issues:0

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Language:RustLicense:MITStargazers:25134Issues:0Issues:0

wasmtime

A fast and secure runtime for WebAssembly

Language:RustLicense:Apache-2.0Stargazers:14695Issues:0Issues:0

Uplink

(Alpha Software) Secure, Encrypted, P2P chat written atop Warp, IPFS, LibP2P, Dioxus and many more awesome projects and protocols.

Language:RustLicense:MITStargazers:134Issues:0Issues:0

ollama

Get up and running with Llama 3, Mistral, Gemma, and other large language models.

Language:GoLicense:MITStargazers:72361Issues:0Issues:0

hyprdots

// Aesthetic, dynamic and minimal dots for Arch hyprland

Language:ShellLicense:GPL-3.0Stargazers:5283Issues:0Issues:0

vaultwarden

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Language:RustLicense:AGPL-3.0Stargazers:34080Issues:0Issues:0

fred.rs

An async Redis client for Rust.

Language:RustLicense:Apache-2.0Stargazers:341Issues:0Issues:0

tokio-cron-scheduler

Schedule tasks on Tokio using cron-like annotation

Language:RustLicense:Apache-2.0Stargazers:433Issues:0Issues:0

bintracker

A hackable Chiptune Audio Workstation. https://bintracker.org

Language:SchemeLicense:MITStargazers:384Issues:0Issues:0
Language:RustLicense:MITStargazers:112Issues:0Issues:0

dropshot

expose REST APIs from a Rust program

Language:RustLicense:Apache-2.0Stargazers:777Issues:0Issues:0

ezsockets

High-level declarative API for building WebSocket Clients and Servers in Rust πŸ¦€

Language:RustLicense:MITStargazers:207Issues:0Issues:0

houseflow

Home automation platform made in Rust πŸ¦€.

Language:RustLicense:GPL-3.0Stargazers:183Issues:0Issues:0

rust-socketio

An implementation of a socket.io client written in the Rust programming language.

Language:RustLicense:MITStargazers:379Issues:0Issues:0

pnpm

Fast, disk space efficient package manager

Language:TypeScriptLicense:MITStargazers:28208Issues:0Issues:0

nanoid-postgres

Nano ID for PostgreSQL

Language:PLpgSQLLicense:Apache-2.0Stargazers:259Issues:0Issues:0

spec

The canonical spec for ulid

License:GPL-3.0Stargazers:8919Issues:0Issues:0