Skip to content
View leoydm's full-sized avatar
1 follower · 6 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report leoydm

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

Stars

7 stars written in HTML
Clear filter

PKUFlyingPig / cs-self-learning

计算机自学指南

HTML 59,567 7,017 Updated Jan 8, 2025

stisla / stisla

Free Bootstrap Admin Template

HTML 3,601 892 Updated May 9, 2024

sirpdboy / luci-app-ddns-go

luci-app-ddns-go 自动获得你的公网 IPv4 或 IPv6 地址，并解析到对应的域名服务。支持的域名服务商 Alidns(阿里云) Dnspod(腾讯云) Cloudflare 华为云 Callback 百度云 porkbun GoDaddy

HTML 540 76 Updated Dec 11, 2024

effectfully / inference-in-agda

A tutorial on how Agda infers things

HTML 38 Updated Dec 29, 2020

jukiewiczm / kaggle-predict-future-sales

Kaggle's Predict Future Sales competition project (TOP 15 solution as of March 2020)

HTML 30 15 Updated Mar 27, 2020

jespercockx / ohrid19-agda

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

HTML 23 4 Updated Sep 3, 2019

eric-wieser / mathlib-import-graph

An interactive viewer for the mathlib import graph

HTML 2 4 Updated Nov 4, 2022