Zhilei Han (linusboyle)

linusboyle

Geek Repo

Company:Tsinghua University

Location:Beijing, PRC

Home Page:https://linusboyle.cn

Github PK Tool:Github PK Tool

Zhilei Han's starred repositories

Prompt-Engineering-Guide

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

text-generation-webui

A Gradio web UI for Large Language Models.

Language:PythonLicense:AGPL-3.0Stargazers:38736Issues:329Issues:3537

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMLicense:NOASSERTIONStargazers:27224Issues:588Issues:73155

openssl

TLS/SSL and crypto library

Language:CLicense:Apache-2.0Stargazers:25082Issues:1015Issues:9770

omnivore

Omnivore is a complete, open source read-it-later solution for people who like reading.

Language:TypeScriptLicense:AGPL-3.0Stargazers:11906Issues:45Issues:1217

nbnhhsh

😩「能不能好好说话?」 拼音首字母缩写翻译工具

Language:JavaScriptLicense:Apache-2.0Stargazers:5693Issues:42Issues:93

mbedtls

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases.

Language:CLicense:NOASSERTIONStargazers:5114Issues:210Issues:3865

Radicale

A simple CalDAV (calendar) and CardDAV (contact) server.

Language:PythonLicense:GPL-3.0Stargazers:3229Issues:104Issues:991

twinejs

Twine, a tool for telling interactive, nonlinear stories

Language:TypeScriptLicense:GPL-3.0Stargazers:1885Issues:48Issues:1024

pmdk

Persistent Memory Development Kit

Language:CLicense:NOASSERTIONStargazers:1340Issues:80Issues:410

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1231Issues:41Issues:379

SpotMyBackup

Backup and Restore your Spotify Playlists and "My Music"

Language:HTMLLicense:GPL-2.0Stargazers:970Issues:17Issues:51

Georgia-ReBORN

A Clean · Full Dynamic Color Reborn · Foobar2000 player

Language:JavaScriptLicense:MITStargazers:542Issues:17Issues:76

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:434Issues:20Issues:199

programming-persistent-memory

Source Code for 'Programming Persistent Memory: A Comprehensive Guide for Developers' by Steve Scargall

Language:CLicense:BSD-3-ClauseStargazers:107Issues:13Issues:1

obsidian-vocab-highlighter

Highlight English words according to the frequency with Obsidian

Language:TypeScriptLicense:MITStargazers:46Issues:2Issues:0

ostrich

An SMT Solver for string constraints

Language:ScalaLicense:NOASSERTIONStargazers:30Issues:5Issues:43

notes

Notes about TeXmacs

Language:TclLicense:GPL-3.0Stargazers:23Issues:6Issues:13

vim-desktop-calendar

Printable Vim desktop Calendar 2024

qq-firejail

给新版 Linux QQ 的 Firejail 配置文件

aeval

AE-solver and Skolemizer

Language:SMTLicense:NOASSERTIONStargazers:16Issues:4Issues:0
Language:SWIGLicense:NOASSERTIONStargazers:15Issues:1Issues:1

hice-dt

Horn-ICE Verification Toolkit

Language:C++Stargazers:9Issues:0Issues:0

dynamite

A dynamic analyzer for proving program termination and non-termination.

Language:RoffStargazers:4Issues:3Issues:0
Language:ShellLicense:GPL-2.0Stargazers:4Issues:0Issues:0
Language:CoqStargazers:2Issues:3Issues:0

duet

Duet: static analysis for unbounded concurrency

Language:OCamlLicense:MITStargazers:1Issues:0Issues:0

vim-boogie-ivl

A VIM plugin for the Boogie Intermediate Verification Language (Boogie IVL)

Language:Vim ScriptLicense:MITStargazers:1Issues:0Issues:0
Language:C++License:MITStargazers:1Issues:0Issues:0