OlingCat

OlingCat's Stars

• microsoft/PowerToys

  Windows system utilities to maximize productivity

  Language:C#107k1.1k28k6.3k

• tauri-apps/tauri

  Build smaller, faster, and more secure desktop applications with a web frontend.

  Language:Rust79.3k4984.1k2.4k

• izackwu/TeachYourselfCS-CN

  TeachYourselfCS 的中文翻译 | A Chinese translation of TeachYourselfCS

  19.5k406183.2k

• lxgw/LxgwWenKai

  An open-source Chinese font derived from Fontworks' Klee One. 一款开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。

  Language:Batchfile16.8k88118491

• kenjihiranabe/The-Art-of-Linear-Algebra

  Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

  Language:PostScript15.7k135141.9k

• atelier-anchor/smiley-sans

  得意黑 Smiley Sans：一款在人文观感和几何特征中寻找平衡的中文黑体

  Language:HTML12.8k5298365

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.6k1092.6k267

• princeton-vl/infinigen

  Infinite Photorealistic Worlds using Procedural Generation

  Language:Python5.1k80214429

• bilibili-helper/bilibili-helper-o

  哔哩哔哩 (bilibili.com) 辅助工具，可以替换播放器、推送通知并进行一些快捷操作

  Language:JavaScript3.8k101792456

• marblexu/PythonPlantsVsZombies

  a simple PlantsVsZombies game

  Language:Python3.3k7236906

• sorayuki/obs-multi-rtmp

  OBS複数サイト同時配信プラグイン

  Language:C++3.3k68282465

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k651.2k368

• IUCompilerCourse/Essentials-of-Compilation

  A book about compiling Racket and Python to x86-64 assembly

  Language:TeX1.2k53104135

• graninas/software-design-in-haskell

  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

  Language:Haskell1.1k54765

• thma/LtuPatternFactory

  Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

  Language:Haskell979272139

• moonbitlang/moonbit-docs

  The docs of MoonBit programming language

  Language:JavaScript803197938

• ossaw/books

  Technical books and blogs

  Language:Batchfile578120233

• moonbitlang/core

  MoonBit's Core library

  Language:Shell4301211253

• arminbiere/kissat

  Language:C411234377

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX305967

• aya-prover/aya-dev

  A proof assistant and a dependently-typed language

  Language:Java261936116

• whl1729/book

  backup some books

  2017192

• scallop-lang/scallop

  Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

  Language:Rust17510189

• banana-space/banana-space

  Language:PHP1314134

• coq-community/coq-art

  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

  Language:Coq1048520

• TarsLab/mostly-adequate-guide-video-zh

  函数式编程指南的中文讲解系列视频 Mostly Adequate Guide to Functional Programming

  Language:JavaScript74108

• yuyan-lang/yuyan

  豫言

  Language:Standard ML272323

• nyar-vm/valkyrie-language

  A language about virtual kontinuation

  Language:Mathematica25300

• le0me55i/zsh-extract

  Plugin for Zshell that extracts the archive file you pass it

  Language:Shell19201

• wanting0521/klee-cultivate-plugin

  一款魔改的插件

  Language:JavaScript2