Skip to content
View mxCynic's full-sized avatar
  • 三峡大学
  • 16:10 (UTC +08:00)

Highlights

  • Pro

Block or report mxCynic

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
Showing results

A collection of useful .gitignore templates

164,878 83,100 Updated Mar 3, 2025

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

Haskell 178 14 Updated Feb 26, 2025

GUI wallpaper manager for Wayland and Xorg Linux systems

Python 509 33 Updated Mar 6, 2025

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

Python 25,163 4,539 Updated Aug 18, 2024

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

C++ 2,860 256 Updated Mar 7, 2025

VLOOK™ 是优雅好用的 Typora/Markdown 主题包和增强插件。 VLOOK™ is an elegant and practical theme package × enhancement plugin for Typora/Markdown.

Less 1,590 136 Updated Feb 27, 2025

Bring enjoyment to your auto completion.

Lua 262 10 Updated Mar 3, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 27,903 704 Updated Mar 7, 2025

Awesome list for Hyprland [maintainer=@yavko]

3,156 74 Updated Feb 24, 2025

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

PostScript 18,629 2,260 Updated Nov 13, 2024

PDF reader for terminal emulators using the Kitty image protocol

Zig 292 10 Updated Mar 5, 2025

A simple, elegant, academic style CV template for typst. Support for English and Chinese (and more).

71 4 Updated Apr 9, 2023

Awesome Typst 列表中文版

Shell 444 14 Updated Oct 7, 2023

The math library of Lean 4

Lean 1,787 378 Updated Mar 8, 2025

🇬🇧 Useful links that will help me (and probably you) to learn English through the Internet.

420 53 Updated Oct 24, 2024

A thread-per-core Rust runtime with IOCP/io_uring/polling.

Rust 618 45 Updated Feb 27, 2025
Jupyter Notebook 48 24 Updated Jul 8, 2022

The user home repository for the Mathematics in Lean tutorial.

HTML 305 216 Updated Mar 3, 2025
Haskell 16 1 Updated Oct 28, 2024

《python数据分析与挖掘实战》的代码笔记

Python 1,737 696 Updated Aug 2, 2020

数学建模和机器学习的笔记和资料(持续更新中......)。

Jupyter Notebook 469 118 Updated Mar 7, 2025

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

120 7 Updated Dec 6, 2023

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

293 48 Updated Jan 8, 2025

History of type theory (Chinese).

TeX 335 11 Updated Mar 2, 2025

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

Python 28,066 2,058 Updated Feb 14, 2025

Lean 函数式编程

JavaScript 27 11 Updated Jul 24, 2024

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

Jupyter Notebook 979 143 Updated May 29, 2024

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

Jupyter Notebook 252 27 Updated Aug 27, 2024
Next