intro-to-python
z3_tutorial
| intro-to-python | z3_tutorial | |
|---|---|---|
| 1 | 1 | |
| 871 | 147 | |
| - | - | |
| 0.0 | 0.0 | |
| over 3 years ago | 6 months ago | |
| Jupyter Notebook | Jupyter Notebook | |
| MIT License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
intro-to-python
-
Show HN: Intro to Python and Programming for non-CS majors (revisited)
Hi there,
I am the author of this Show HN post: https://news.ycombinator.com/item?id=22669084
Back then, I released the materials for my Intro to Python course "to the world". GitHub repo: https://github.com/webartifex/intro-to-python
I incorporated many of the constructive criticism and am currently recording a video lecture series on YouTube: https://www.youtube.com/playlist?list=PL-2JV1G3J10kRUPgP7EwLhyeN5lOZW2kH
I guess that a lot of people without a CS background would find these resources valuable and am open for further feedback.
If you have any "non-tech" friends who want to learn to code, please feel free to direct them to my course.
Stay healthy everybody!
z3_tutorial
-
Software Verification and Analysis Using Z3
I'm giving a tutorial in a couple of days. Vids will be up later.
https://github.com/philzook58/z3_tutorial
What are some alternatives?
imodels - Interpretable ML package 🔍 for concise, transparent, and accurate predictive modeling (sklearn-compatible).
lean4 - Lean 4 programming language and theorem prover
ipp - An intro to Python & programming for wanna-be data scientists [Moved to: https://github.com/webartifex/intro-to-python]
stainless - Verification framework and tool for higher-order Scala programs
python-training - Python training for business analysts and traders
souper - A superoptimizer for LLVM IR
feature-engineering-tutorials - Data Science Feature Engineering and Selection Tutorials
ivy - IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
JustEnoughScalaForSpark - A tutorial on the most important features and idioms of Scala that you need to use Spark's Scala APIs.
examples - Datapane Examples
ML-Workspace - 🛠 All-in-one web-based IDE specialized for machine learning and data science.
fastpages - An easy to use blogging platform, with enhanced support for Jupyter Notebooks.