This is stars and forks stats for /liuxinyu95/unplugged repository. As of 02 May, 2024 this repository has 2818 stars and 178 forks.
Isomorphism -- Mathematics of Programming 2023/10 This book introduces the mathematics behind computer programming. Contents The book can be downloaded in English (EN). The 1st edition in Chinese (中文) was published in 2023 (中文样章). Preface Chapter 1, Natural numbers. Peano Axiom, list and folding; Chapter 2, Recursion. Euclidean algorithm, Lambda calculus, and Y-combinator; Chapter 3, Symmetry. Group, Ring, and Field. Galois Theory; Chapter 4, Category theory and type system; Chapter 5, Deforest....
Isomorphism -- Mathematics of Programming 2023/10 This book introduces the mathematics behind computer programming. Contents The book can be downloaded in English (EN). The 1st edition in Chinese (中文) was published in 2023 (中文样章). Preface Chapter 1, Natural numbers. Peano Axiom, list and folding; Chapter 2, Recursion. Euclidean algorithm, Lambda calculus, and Y-combinator; Chapter 3, Symmetry. Group, Ring, and Field. Galois Theory; Chapter 4, Category theory and type system; Chapter 5, Deforest....
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
monero-project/research-lab | TeXCPython | 220 | 0 | 71 | 0 |
iron-fish/ironfish | TypeScriptRustOther | 932 | 0 | 632 | 0 |
novuhq/novu | TypeScriptPythonJavaScript | 29.3k | +1.5k | 2.5k | +179 |
shroudedcode/apk-mitm | TypeScriptJavaScript | 3k | +12 | 294 | +2 |
slaclab/amc-carrier-core | VHDLTclPython | 2 | 0 | 3 | 0 |
lilydjwg/colorizer | Vim ScriptMakefile | 337 | 0 | 25 | 0 |
jeecgboot/jeecg-uniapp | VueJavaScriptCSS | 960 | 0 | 567 | 0 |
gravitational/protobuf-as | WebAssemblyTypeScriptJavaScript | 3 | 0 | 3 | 0 |
radian-software/straight.el | Emacs LispPythonOther | 2.5k | 0 | 149 | 0 |
zrax/pycdc | C++PythonShell | 2.3k | 0 | 502 | 0 |