kokoro-aya's Stars
IronLanguages/ironpython3
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
chachako/chachako
喜欢猫猫的都不是什么坏人
wuchangming/chatgpt-query-engineer-handbook
🤖️ChatGPT提问工程师 -- 开发指南
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
ccapo/elegant-pair
An elegant pairing function which uniquely encodes two natural numbers into a single natural number
acheong08/ChatGPT
Reverse engineered ChatGPT API
forthespada/CampusShame
互联网仍有记忆!那些曾经在校招过程中毁过口头offer、意向书、三方的公司!纵然人微言轻,也想尽绵薄之力!
HMUniversity/About
About Home University | 关于家里蹲大学
ShirasawaSama/CefDetectorX
【升级版-Electron】Check how many CEFs are on your computer. 检测你电脑上有几个CEF.
matrixcascade/PainterEngine
PainterEngine is a application/game engine with software renderer,PainterEngine can be transplanted to any platform that supports C
massCodeIO/massCode
A free and open source code snippets manager for developers
imba/imba
🐤 The friendly full-stack language
IHaskell/IHaskell
A Haskell kernel for the Jupyter project.
Lakr233/SafariYYDS
ShirasawaSama/CefDetector
Check how many CEFs are on your computer. 检测你电脑上有几个CEF.
PrismLauncher/PrismLauncher
A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)
DevToys-app/DevToys
A Swiss Army knife for developers.
alexmercerind/flutter_acrylic
Flutter library for window acrylic, mica & transparency effects.
gao-sun/eul
🖥️ macOS status monitoring app written in SwiftUI.
Mortennn/Dozer
Hide menu bar icons on macOS
refined-github/refined-github
:octocat: Browser extension that simplifies the GitHub interface and adds useful features
BartoszMilewski/Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
fukamachi/caveman
Lightweight web application framework for Common Lisp.
snaewe/loki-lib
Loki is a C++ library of designs, containing flexible implementations of common design patterns and idioms.
orangeduck/Cello
Higher level programming in C
wfjsw/danbooru-diffusion-prompt-builder
Danbooru / NovelAI 标签超市
naver/lispe
An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.
USTC-Hackergame/hackergame2022-writeups
Hackergame 2022 的官方与非官方题解
formulahendry/955.WLB
955 不加班的公司名单 - 工作 955,work–life balance (工作与生活的平衡)