Pinned Repositories
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
Cplusplus_programming_eg-
including homework codes, and example codes from book accelerated c++
Daily-Coding-DS-ALGO-Practice
A open source project🚀 for bringing all interview💥💥 and competative📘 programming💥💥 question under one repo📐📐
dotfiles_backup
mydotfiles
found-in-open-platforms-for-practice
Game-Programming-in-C-Code
source code for the book of that name
Idris2
A purely functional programming language with first class types
idris2-filepath
Unix style file paths in Idris2
idris2-pack
idris2
Leetcode_daily
这是Leetcode刷题日报，每天两题，从2023/3/30开始，希望大家多多监督，共同进步
acodefarmer048's Repositories
acodefarmer048/Leetcode_daily
这是Leetcode刷题日报，每天两题，从2023/3/30开始，希望大家多多监督，共同进步
acodefarmer048/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
acodefarmer048/Cplusplus_programming_eg-
including homework codes, and example codes from book accelerated c++
acodefarmer048/Daily-Coding-DS-ALGO-Practice
A open source project🚀 for bringing all interview💥💥 and competative📘 programming💥💥 question under one repo📐📐
acodefarmer048/dotfiles_backup
mydotfiles
acodefarmer048/found-in-open-platforms-for-practice
acodefarmer048/Game-Programming-in-C-Code
source code for the book of that name
acodefarmer048/Idris2
A purely functional programming language with first class types
acodefarmer048/idris2-filepath
Unix style file paths in Idris2
acodefarmer048/idris2-pack
idris2
acodefarmer048/idris2-pack-db
acodefarmer048/kaggle
including resources in learning machine_learning and codes reserved in kaggle competition
acodefarmer048/leetcode
4.07
acodefarmer048/libpku
北京大学课程资料整理
acodefarmer048/luogu
practice
acodefarmer048/own-web
attempt
acodefarmer048/PKU_DataStructure_and_AlgorithemB_HW
PKU北大郭炜老师数据结构与算法作业实现代码
acodefarmer048/toml-idr
A TOML parser for Idris 2