OlingCat

OlingCat's Stars

• tauri-apps/tauri

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

  Language:Rust88.3k5165k2.7k

• izackwu/TeachYourselfCS-CN

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

  19.9k402183.3k

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

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

  Language:PostScript18.3k148142.2k

• atelier-anchor/smiley-sans

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

  Language:HTML13.2k50101373

• liuxinyu95/AlgoXY

  Book of Elementary Functional Algorithms and Data structures

  Language:TeX6.2k40761755

• princeton-vl/infinigen

  Infinite Photorealistic Worlds using Procedural Generation

  Language:Python6k93330497

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.9k1072.8k272

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k641.2k380

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k665.6k365

• moonbitlang/moonbit-docs

  The docs of MoonBit programming language

  Language:MoonBit1.3k2314857

• graninas/software-design-in-haskell

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

  Language:Haskell1.1k55769

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++1k155094

• thma/LtuPatternFactory

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

  Language:Haskell996272138

• moonbitlang/core

  MoonBit's Core library

  Language:MoonBit7071729093

• ossaw/books

  Technical books and blogs

  Language:Batchfile692140274

• arminbiere/kissat

  Language:C485264889

• Myriad-Dreamin/shiroa

  shiroa is a simple tool for creating modern online books in pure typst.

  Language:Rust33542617

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX32710611

• aya-prover/aya-dev

  A proof assistant and a dependently-typed language

  Language:Java293941519

• whl1729/book

  backup some books

  24061112

• scallop-lang/scallop

  Framework and Language for Neurosymbolic Programming.

  Language:Rust222123510

• banana-space/banana-space

  Language:PHP1564144

• coq-community/coq-art

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

  Language:Coq1157522

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

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

  Language:JavaScript89109

• yuyan-lang/yuyan

  豫言

  Language:Standard ML271363

• valkyrie-language/.github

  A language about virtual kontinuation

  Language:Mathematica26300

• choukh/CategoryTheory

  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained

  Language:Coq19100

• le0me55i/zsh-extract

  Plugin for Zshell that extracts the archive file you pass it

  Language:Shell19201

• HaskellZhangSong/derive-topdown

  Language:Haskell5100

• wanting0521/klee-cultivate-plugin

  一款魔改的插件

  Language:JavaScript2100