-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Names #9
Comments
Simplelogin |
https://arxiv.org/pdf/1503.09060.pdf "A Tutorial Introduction to the Lambda Calculus | Raul Rojas"
https://en.wikipedia.org/wiki/Condensed_matter_physics "Condensed matter physics"
https://zh.wikipedia.org/wiki/%E5%87%9D%E8%81%9A%E6%80%81%E7%89%A9%E7%90%86%E5%AD%A6 "凝聚态物理学"
https://en.wikipedia.org/wiki/De_Bruijn_sequence "de Bruijn sequence"
https://en.wikipedia.org/wiki/De_Bruijn_index "De Bruijn index"
https://en.wikipedia.org/wiki/De_Bruijn_notation "De Bruijn notation"
https://en.wikipedia.org/wiki/Binary_lambda_calculus "Binary lambda calculus (Binary combinatory logic)"
https://en.wikipedia.org/wiki/Binary_combinatory_logic "Binary combinatory logic (Binary lambda calculus)"
https://jgeisler0303.github.io/deBruijnDecode/ "de Bruijn Sequence Generator"
https://debruijnsequence.org/ ""
https://chessprogramming.wikispaces.com/De+Bruijn+sequence ""
https://oeis.org/A166315 "A166315 Lexicographically earliest binary de Bruijn sequences, B(2,n)."
https://tromp.github.io/cl/cl.html "John's Lambda Calculus and Combinatory Logic Playground | tromp cl"
https://github.com/tromp/tromp.github.io.git "(Languages: HTML 85.9%, Roff 11.9%, Rust 1.1%, Haskell 0.4%, C 0.3%, PostScript 0.1%, Other 0.3%) John Tromp homepage"
https://tromp.github.io/cl/diagrams.html "Lambda Diagrams | tromp cl"
https://tromp.github.io/cl/Binary_lambda_calculus.html "Binary Lambda Calculus | tromp cl"
https://tromp.github.io/cl/lazy-k.html "Lazy K | tromp cl"
https://tromp.github.io/cl/lispnycTalk/lispnyc.html "Binary Lambda Calculus: The Smallest Program Language | tromp cl"
https://tromp.github.io/cl/LC.pdf "Functional Bits: Lambda Calculus based Algorithmic Information Theory | tromp cl"
https://stackoverflow.com/questions/22676975/simple-lambda-calculus-dsl-using-gadts-in-ocaml "Simple lambda calculus DSL using GADTs in OCaml // 在 OCaml 中使用 GADT 的简单 lambda 演算 DSL"
https://github.com/polux/lambda-diagrams.git "(Apache-2.0) (Languages: Haskell 100.0%) Animations of lambda term reduction sequences // lambda 项约简序列的动画"
https://www.youtube.com/watch?v=0ZKIuKgiikM&list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV&index=7 "Prime Number Sieve in Lambda Calculus | YouTube"
https://tromp.github.io/ "John Tromp"
https://tromp.github.io/orimaze.html "OriMaze: a block moving puzzle and maze in one! | John Tromp"
https://tromp.github.io/pearls.html "Programming Pearls | John Tromp"
https://tromp.github.io/go/legal.html "Number of legal Go positions | John Tromp"
https://github.com/tromp/AIT.git "(Languages: Haskell 37.6%, HTML 30.9%, TeX 17.7%, C 8.3%, Agda 1.8%, JavaScript 0.8%, Other 2.9%) Algorithmic Information Theory, using Binary Lambda Calculus // 算法信息论,使用二进制 Lambda 演算"
https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861 "Binary Lambda Calculus"
https://github.com/ioccc-src/winner/blob/master/2012/tromp/tromp.orig.c "(found by: https://www.ioccc.org/years.html)"
https://www.ioccc.org/2012/tromp/hint.html "Most functional"
https://en.wikipedia.org/wiki/Combinatory_logic "Combinatory logic"
https://zh.wikipedia.org/wiki/%E7%BB%84%E5%90%88%E5%AD%90%E9%80%BB%E8%BE%91 "组合子逻辑"
https://en.wikipedia.org/wiki/Kolmogorov_complexity "Kolmogorov complexity"
https://zh.wikipedia.org/wiki/%E6%9F%AF%E6%B0%8F%E5%A4%8D%E6%9D%82%E6%80%A7 "柯氏复杂性"
https://homepages.cwi.nl/~paulv/kolmogorov.html "An Introduction to Kolmogorov Complexity and Its Applications (柯尔莫戈罗夫复杂性及其应用简介: https://mitpressbookstore.mit.edu/book/{9780387339986,9781489984456,9783030112974}, https://www.amazon.com/Introduction-Kolmogorov-Complexity-Applications-Monographs/dp/{0387940537,0387948686,0387339981,1489984453,3030112977}/, https://link.springer.com/book/10.1007/{978-1-4757-2606-0,978-0-387-49820-1,978-3-030-11298-1}) (描述复杂性 ISBN:9787030059642)"
https://en.wikipedia.org/wiki/Andrey_Kolmogorov "Andrey Kolmogorov (Андрей Колмогоров)"
https://zh.wikipedia.org/wiki/%E5%AE%89%E5%BE%B7%E7%83%88%C2%B7%E6%9F%AF%E7%88%BE%E8%8E%AB%E5%93%A5%E6%B4%9B%E5%A4%AB "安德雷·柯尔莫哥洛夫 (Андрей Колмогоров)"
https://en.wikipedia.org/wiki/Lotka%E2%80%93Volterra_equations "Lotka–Volterra equations"
https://zh.wikipedia.org/wiki/%E6%B4%9B%E7%89%B9%E5%8D%A1-%E6%B2%83%E7%88%BE%E6%B3%B0%E6%8B%89%E6%96%B9%E7%A8%8B "洛特卡-沃尔泰拉方程"
https://en.wikipedia.org/wiki/Kolmogorov_axioms "Kolmogorov axioms (Probability axioms)"
https://zh.wikipedia.org/wiki/%E6%A9%9F%E7%8E%87%E5%85%AC%E8%A8%AD "概率公理 (柯尔莫哥洛夫公理)"
https://en.wikipedia.org/wiki/Intuitive_statistics "Intuitive statistics (folk statistics)"
https://en.wikipedia.org/wiki/Combinatorics "Combinatorics"
https://zh.wikipedia.org/wiki/%E7%BB%84%E5%90%88%E6%95%B0%E5%AD%A6 "组合数学"
https://home.nvg.org/~oerjan/esoteric/ "Esoteric programming languages" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
need .desc
The text was updated successfully, but these errors were encountered: