mxCynic

awesome-cabal

💫 A curated list of awesome resources for the Haskell Cabal build tool.

learn-haskell-blog-generator

Learn Haskell by building a blog generator - an introductory book about Haskell.

history

History of type theory (Chinese).

GPT_API_free

Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API（免费），ChatGPT国内可用免费转发API，直连无需代理。可以搭配ChatBox等软件/插件使用，极大降低接口使用成本。国内即可无限制畅快聊天。

fp-lean-zh

Lean 函数式编程

whale-quant

本项目为量化开源课程，可以帮助人们快速掌握量化金融知识以及使用Python进行量化开发的能力。

PMMAA

Python 数学建模算法与应用，笔记与代码，按章节整理

fp-course

Functional Programming Course

beat-ai

<Beat AI> 又名 <零生万物> , 是一本专属于软件开发工程师的 AI 入门圣经，手把手带你上手写 AI。从神经网络到大模型，从高层设计到微观原理，从工程实现到算法，学完后，你会发现 AI 也并不是想象中那么高不可攀、无法战胜，Just beat it !

llama3-from-scratch

llama3 implementation one matrix multiplication at a time

modern-nju-thesis

南京大学学位论文 Typst 模板 modern-nju-thesis

NJUThesis

南京大学学位论文模板

ani-cli

A cli tool to browse and play anime

LinuxTimeline

Linux Distributions Timeline

awesome-mpv

A curated list of awesome mpv resources.

pywal

🎨 Generate and change color-schemes on the fly.

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

atuin

✨ Magical shell history

algorithm-rs

Algorithms and Data Structures written in Rust

mini.nvim

Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort

FireDBG.for.Rust

🔥 Time Travel Visual Debugger for Rust

qwerty-learner

为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

sddm-theme-corners

customizable SDDM theme that puts stuff on your screen corners

mypaint

MyPaint is a simple drawing and painting program that works well with Wacom-style graphics tablets.

hyprdots

// Aesthetic, dynamic and minimal dots for Arch hyprland

git-tips

:trollface:Git的奇技淫巧

case-studies

Analysis of various tricky Rust code

expert_readed_books

2021年最新总结，推荐工程师合适读本，计算机科学，软件技术，创业，**类，数学类，人物传记书籍

dotfiles