namasikanam

gpt_academic

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

run

润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新**人的核心宗教，核心信念。

jitsi-meet

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

awesome-free-chatgpt

🆓免费的 ChatGPT 镜像网站列表，持续更新。List of free ChatGPT mirror sites, continuously updated.

pyro

Deep universal probabilistic programming with Python and PyTorch

astexplorer

A web tool to explore the ASTs generated by various parsers.

zotero-better-notes

Everything about note management. All in Zotero.

asmjit

Low-latency machine code generation

alphatensor

dongbei

东北方言编程语言

PL-Compiler-Resource

程序语言与编译技术相关资料（持续更新中）

awesome-mpc

A curated list of multi party computation resources and links.

JPlag

State-of-the-Art Software Plagiarism & Collusion Detection

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

alphadev

x64asm

x86-64 assembler library

mlc-en

GoAuthing

Authentication utility for srun4000 (auth.tsinghua.edu.cn / net.tsinghua.edu.cn / Tsinghua-IPv4)

asmtk

Assembler toolkit based on AsmJit

mlir-tv

A translation validation framework for MLIR

aarch64

Pure Ruby ARM64 Assembler

EasyUC

Experiments with Universal Composability in EasyCrypt

DLCstudy

This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.

lazyppl

A Haskell probabilistic programming library.

GaussianInfer

Proof of concept implementation for exact Gaussian conditioning

CP-Foundations

Artifact and extended version of Direct Foundations for Compositional Programming

yao

dt-comp

Prototype auto test-case generation for Minidecaf. (Not for general C. Use CSmith for that.)

BounceBalls