analytic-bias
sapiens dominabitur astris пишем юными руками библиографию земли 🛜🔑🏴🇹🇼🇺🇦🏳️🌈🏳️⚧️🤝✊🎆
Institut Xiaohuan Ruan des Hautes Études Civiques et Scientifiques
analytic-bias's Stars
run-llama/llama_index
LlamaIndex is the leading framework for building LLM-powered agents over your data.
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
openai/chatgpt-retrieval-plugin
The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.
kholia/OSX-KVM
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
Ciphey/Ciphey
⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡
Semporia/TikTok-Unlock
TikTok 無需拔卡解鎖最新支援 iPhone &iPad 、TikTok&TikTok TestFlight,地區切換 、視頻發佈 、 live 直播 、點贊 評論、私信聊天等!
epi052/feroxbuster
A fast, simple, recursive content discovery tool written in Rust.
windingwind/zotero-better-notes
Everything about note management. All in Zotero.
dvanoni/notero
A Zotero plugin for syncing items and notes into Notion
kantord/LibreLingo
🐢 🌎 📚 a community-owned language-learning platform
arxiv-vanity/engrafo
Convert LaTeX documents into beautiful responsive web pages using LaTeXML.
ifnoelse/pdf-bookmark
pdf bookmark generator 目录 书签 大纲
tatuylonen/wiktextract
Wiktionary dump file parser and multilingual data extractor
webrecorder/replayweb.page
Serverless replay of web archives directly in the browser
dbrattli/OSlash
Functors, Applicatives, And Monads in Python
o1-labs/snarky
OCaml DSL for verifiable computation
franciscod/telegram-twitter-forwarder-bot
A Telegram bot that forwards Tweets
VocabHunter/VocabHunter
VocabHunter helps learners of foreign languages find vital new vocabulary to study.
diegodlh/zotero-cita
Cita: a Wikidata addon for Zotero with citations metadata support
leios/SoME_Topics
Collaboration / Topic requests for SoME
leanprover-community/lean-liquid
💧 Liquid Tensor Experiment
CdLbB/fb-rotate
A Unix utility to rotate the display on any Mac and switch the primary display back and forth between displays.
chrisgrieser/alfred-bibtex-citation-picker
Picker for markdown-based citations and lightweight reference manager for BibTeX libraries.
yannick-cw/notion-ocr
Adding OCR support to Notion
denkiwakame/arxiv2notion
Chrome extension for clipping arXiv articles to Notion.
uds-psl/MPCTT
Modeling and Proving in Computational Type Theory
holdenlee/number-theory
Open-source number theory textbook
zhangrunxu/zhangrunxu.github.io
许章润非官方言论集
EasyCrypt/certicrypt
CertiCrypt Coq Framework
stonybrook-lin539/main
New central repository for MathMethods lecture notes