Skip to content
View Dr-Deep's full-sized avatar

Block or report Dr-Deep

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
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

Tool for partial deblobbing of Intel ME/TXE firmware images

Python 4,488 278 Updated May 28, 2024

Geziyor, blazing fast web crawling & scraping framework for Go. Supports JS rendering.

Go 2,613 149 Updated Aug 12, 2024

Extra mathematical algorithms and data types for Golang

Go 15 87 Updated May 16, 2016

[MIRROR] Gentoo Prefix tree

Shell 17 21 Updated Oct 18, 2024

[MIRROR] packages.gentoo.org (PROD)

Go 6 10 Updated Sep 25, 2024

a framework for package management

Python 104 32 Updated Sep 6, 2024

A first-order concurrent automated theorem prover

Go 14 1 Updated Sep 21, 2024

Go library for creating finite state machines

Go 946 51 Updated Aug 30, 2024

A command line interface for The Pirate Bay

Python 338 53 Updated Mar 15, 2022
TeX 13 3 Updated Oct 11, 2023

The Mercury logic programming system.

Mercury 906 54 Updated Oct 14, 2024

An experimental computer algebra system written in Go

Mathematica 390 26 Updated Sep 9, 2024

https://bahn.expert

TypeScript 493 45 Updated Oct 20, 2024

Portable UNIX tools (personal repository)

C 58 12 Updated Mar 28, 2024

ninja-compatible build tool written in C

C 830 46 Updated May 12, 2024

Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)

Ada 253 15 Updated Oct 6, 2024

Go (golang) bindings to the Z3 SMT Solver

Go 141 23 Updated Jul 16, 2022

sample of golearn and gobrain

Go 1 Updated Nov 15, 2018

Library for interacting with LLVM IR in pure Go.

Go 1,186 78 Updated May 31, 2024

The Go+ programming language is designed for engineering, STEM education, and data science. Our vision is to enable everyone to become a builder of the digital world.

Go 8,936 546 Updated Oct 19, 2024

A Go compiler based on LLVM in order to better integrate Go with the C ecosystem including Python

Go 332 26 Updated Oct 19, 2024

Linux system call fuzzer

C 5 Updated Jan 5, 2015

Hunt down social media accounts by username across social networks

Python 59,700 6,866 Updated Aug 30, 2024

QUIC, a multiplexed stream transport over UDP

C++ 1,780 289 Updated Oct 10, 2022

A simple LLM client for Emacs

Emacs Lisp 1,341 135 Updated Oct 19, 2024

An Open Source Machine Learning Framework for Everyone

C++ 186,124 74,272 Updated Oct 20, 2024

Model components of the Llama Stack APIs

Python 3,798 503 Updated Oct 20, 2024

libp2p implementation in Go

Go 6,042 1,067 Updated Oct 18, 2024

Cross platform GUI toolkit in Go inspired by Material Design

Go 24,926 1,383 Updated Oct 19, 2024

A Windows GUI toolkit for the Go Programming Language

Go 6,841 886 Updated Jan 21, 2024
Next