8000 geraltgod (DR.G) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View geraltgod's full-sized avatar
6 followers · 5 following

Block or report geraltgod

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

Starred repositories

Showing results

leanprover-community / lean4game

Server to host lean games.

TypeScript 273 46 Updated May 28, 2025

showlab / X-Adapter

[CVPR 2024] X-Adapter: Adding Universal Compatibility of Plugins for Upgraded Diffusion Model

Python 765 40 Updated Aug 14, 2024

choukh / Baby-Set-Theory

Coq集合论中文教程

Coq 44 3 Updated Dec 17, 2021

choukh / MetaLogic

first-order logic and set theory

Agda 2 Updated May 11, 2024

abi / screenshot-to-code

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Python 70,160 8,660 Updated Jun 13, 2025

CoinCapDev / CoinCap.io

API tools and documentation

HTML 732 151 Updated Mar 15, 2024

supercomputation / pulse

Forked from alex-damian/pulse

PULSE: Self-Supervised Photo Upsampling via Latent Space Exploration of Generative Models

Python 1 Updated Apr 30, 2021

ccxt / ccxt

A JavaScript / TypeScript / Python / C# / PHP / Go cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges

Python 36,896 7,983 Updated Jun 14, 2025

CryptozombiesHQ / cryptozombies-lesson-code

cryptozomebie lesson code

JavaScript 2,492 1,099 Updated Jun 29, 2024

scaffold-eth / scaffold-eth

🏗 forkable Ethereum dev stack focused on fast product iterations

CSS 9,073 3,433 Updated Jun 4, 2024

paritytech / polkadot

Polkadot Node Implementation

Rust 7,141 1,579 Updated Nov 15, 2023

ethereum / go-ethereum

Go implementation of the Ethereum protocol

Go 49,122 20,910 Updated Jun 13, 2025

xrlin / goscheme

Just another scheme interpreter.

Go 42 7 Updated Mar 2, 2019

DeathKing / Learning-SICP

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

Ruby 11,135 1,547 Updated Sep 27, 2023

MatrixForChange / files-viewer

A File Manager for DrRacket

Racket 84 11 Updated Jul 2, 2023

Starred topics

0