Topic: lean Goto Github
Some thing interesting about lean
Some thing interesting about lean
lean,A verification toolchain for Rust programs
Organization: aeneasverif
lean,https://bamtech.gitbooks.io/dev-standards/
Organization: bamlab
lean,Riemann Hypothesis in Lean
User: bhgomes
Home Page: https://reu.dimacs.rutgers.edu/~bg441/
lean,A formal verification of Linear PCP SNARKs.
User: boltonbailey
lean,What to Read to Learn More About DevOps
User: chris-short
Home Page: https://devopsreadme.com/
lean,Lista de leituras recomendadas à todas as pessoas que desejam trilhar uma carreira de Desenvolvimento, tenham experiência na área ou não. Também é abordado livros de soft skill na estante e temas complementares e pertinentes a profissão. Ex: design thinking, psicologia comportamental, etc.
User: devmozao
lean,Use Github Actions to automatically compile Lean's Modified Lede source for K2P
User: dreamwalkerxz
Home Page: https://dreamwalkerxz.gitbook.io/k2p-docs/
lean,Bug-free machine learning on stochastic computation graphs
User: dselsam
lean,The matrix cookbook, proved in the Lean theorem prover
User: eric-wieser
lean,Code for Parsel 🐍 - generate complex programs with language models
User: ezelikman
lean,Ground Zero: Lean 4 HoTT Library
User: forked-from-1kasper
lean,常用 OpenWrt 软件包合集,定时自动更新,适用于 Lean 源码
User: haiibo
lean,GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
User: huazhuangnan
lean,OpenWrt Stable 1907 with lean's package
User: iyuangang
lean,Parameter Optimization for Lean Algorithms
User: jameschch
Home Page: https://optimizers.ml
lean,Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
User: joelparkerhenderson
lean,neovim support for the Lean theorem prover
User: julian
lean,四个主流代码x86固件编译
Organization: kenzok78
Home Page: https://op.dllkids.xyz/op/firmware
lean,一键多编译固件
User: kenzok8
Home Page: https://op.dllkids.xyz
lean,LLMs as Copilots for Theorem Proving in Lean
Organization: lean-dojo
Home Page: https://leandojo.org
lean,Tool for data extraction and interacting with Lean programmatically.
Organization: lean-dojo
Home Page: https://leandojo.org
lean,ChatGPT plugin for theorem proving in Lean
Organization: lean-dojo
Home Page: https://leandojo.org
lean,Retrieval-Augmented Theorem Provers for Lean
Organization: lean-dojo
Home Page: https://leandojo.org
lean,Lean 3's obsolete mathematical components library: please use mathlib4
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/lean3
lean,Helper toolkit for creating your own Lean 4 UserWidgets
Organization: leanprover-community
lean,Lean Theorem Prover
Organization: leanprover
Home Page: http://leanprover.github.io/
lean,Lean 4 programming language and theorem prover
Organization: leanprover
Home Page: https://lean-lang.org
lean,A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Organization: leanprover
lean,LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Organization: leanprover
lean,Theorem Proving in Lean 4
Organization: leanprover
Home Page: https://leanprover.github.io/theorem_proving_in_lean4/
lean,Visual Studio Code extension for the Lean 4 proof assistant
Organization: leanprover
lean,Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Organization: leantime
Home Page: https://leantime.io
lean,Awesome List of resources on Agile Software Development.
User: lorabv
Home Page: https://lorabv.github.io/awesome-agile
lean,A simple way to enhance your mailto links with a convenient user interface.
User: mariordev
Home Page: https://mailtoui.com
lean,Formalizing "Proofs from THE BOOK"
User: mo271
lean,LLM verified with Monte Carlo Tree Search
User: namin
Home Page: https://arxiv.org/abs/2402.08147
lean,SSR 科学上网软件
Organization: openwrt-actions
lean,A partial formalization of Geometric Algebra in the Lean formal proof verification system.
Organization: pygae
lean,Learn Lean 4 with PLFA proofs.
User: rami3l
lean,A lean product design process in markdown that enables cross-functional teams to take an idea from napkin to scale by prioritizing learnings to produce customer-centered solutions.
User: ryanallen
lean,A practical guide for Sociocracy 3.0.
Organization: s3-working-group
Home Page: http://patterns.sociocracy30.org
lean,战略管理越扎实,理想生活越可达。配备这组「人生战略管理帮手」,一起有思路有行动、灵活创造想要的生活 😋
Organization: sunnylife42
Home Page: https://sunnylife42.com/docs
lean,A lean framework stack for agile Web development based on Symfony and Vuetify
Organization: symlex
Home Page: https://docs.symlex.org
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.