Lists (32)
Sort Name ascending (A-Z)
backend
blog
can be contribute
career
computer vision
CPP
data mining
EE
font
Formal Verification
frontend
game
hardware
interview
machine learning
math
NLP
operating system
organization
other
performance
prompt
python
quant
research
Rust
security
self-teaching
share
source
tools
web3
- All languages
- Agda
- AsciiDoc
- Assembly
- Astro
- Batchfile
- C
- C#
- C++
- COBOL
- CSS
- Classic ASP
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- F*
- G-code
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Idris
- Inno Setup
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Nunjucks
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PostScript
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Stylus
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- VBScript
- Verilog
- Vim Script
- Vue
- Zig
Starred repositories
微舆:人人可用的多Agent舆情分析助手,打破信息茧房,还原舆情原貌,预测未来走向,辅助决策!从0实现,不依赖任何框架。
The most unusual OSINT guide you've ever seen. The repository is intended for bored professionals only. PRs are welcome!
ChatGPT 中文调教指南。各种场景使用指南。学习怎么让它听你的话。
微博热搜榜,记录从 2020-11-24 日开始的微博热门搜索。每小时抓取一次数据,按天归档。
[IEEE RA-L'25] NavRL: Learning Safe Flight in Dynamic Environments (NVIDIA Isaac/Python/ROS1/ROS2)
Set of 📝 with 🔗 to help those who are Data Science beginners 🤖
A list of companies of possible interest for mathematicians (or related) that are looking for a job in quantitative finance in Zurich.
DSPy: The framework for programming—not prompting—language models
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Biomni: a general-purpose biomedical AI agent
Anki is a smart spaced repetition flashcard program
lm-scratch-pytorch - The code is designed to be beginner-friendly, with a focus on understanding the fundamentals of PyTorch and implementing LLMs from scratch,step by step.
全网最全-2025年AI领域最值得关注的两百位博主和一手信息源盘点
Model Context Protocol Servers
毒奶博主的自用机场推荐——100GB/15元/月起(最高享8折优惠),SS/v2Ray/Trojan协议支持,IEPL专线加持,稳定低延迟,ChatGPT,Netflix等流媒体解锁;
Hallucination Detector is a free and open-source tool that helps you verify the accuracy of your LLM generated content instantly.
The latest incremental release of SysML v2. Start here.
😎 Curated list of awesome tools to build your freelance career (in france)
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
SGLang is a fast serving framework for large language models and vision language models.
飞行手册FlightManual: FCOM, FCTM, SOP, QRH, NATOPS, ...