Thread: Nagini: an automated, modular verifier for Python

Nagini: an automated, modular verifier for Python (pm.inf.ethz.ch)

L 7 pts 0 comments by minimax Sep 14, 2020 formalmethodspython Programming (General)Programming Languages / CS Theory thread

Automated Static Malware Analysis with Pythonect (blog.ikotler.org)

L 2 pts 0 comments by inactive-user Aug 22, 2012 pythonreversing Systems / Low-Level / OS Programming (General)Security / Privacy thread

Modular visual interface for GDB in Python (github.com)

L 1 pts 0 comments by pushcx Sep 15, 2015 cpythonreleaseunix Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Nagini: A Static Verifier for Python (pm.inf.ethz.ch)

L 8 pts 2 comments by ceh Jul 14, 2018 formalmethodspdfpython Programming (General)Programming Languages / CS Theory thread

The tool is available at https://github.com/marcoeilers/nagini

Automated, Modular, Refinement Reasoning for Concurrent Programs (2015) (microsoft.com)

L 3 pts 2 comments by nickpsecurity Jan 17, 2019 formalmethodspdfprogramming Programming (General)Programming Languages / CS Theory thread

Abstract: "We present civl , a language and verifier for concurrent pro- grams based on automated and modular refinement reasoning. civl sup- ports reasoning about a concurrent program at many levels of abstrac- tion. Atomic actions in a high-level description are refined to fine-grain and o...

How to get Automated Alerts on Instacart Delivery availability using Postman & Python (raju.guide)

L 5 pts 3 comments by rjpcasalino Apr 10, 2020 pythonweb Web Development Programming (General)Programming Languages / CS Theory thread

Modular: Using Mojo with Python (modular.com)

L 9 pts 2 comments by adaszko Oct 28, 2023 python Programming (General)Programming Languages / CS Theory thread

State of Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)

L 14 pts 0 comments by ocramz Aug 6, 2024 formalmethodspython Programming (General)Programming Languages / CS Theory thread

Emulating USB Devices with Python (travisgoodspeed.blogspot.com)

L 4 pts 1 comments by inactive-user Jul 6, 2012 hardwarepython Programming (General)Programming Languages / CS Theory Gaming / Retro Computing Maker / DIY / Hardware thread

PHP, Python and Persuasion (lukeplant.me.uk)

L 2 pts 1 comments by mc Jul 7, 2012 phppython Programming (General)Programming Languages / CS Theory thread

App Store - Python for iOS (itunes.apple.com)

L 1 pts 0 comments by mc Jul 9, 2012 iospython Programming (General)Programming Languages / CS Theory Apple / macOS / iOS thread

Free today.

Converting a simple website to Python Flask (vertstudios.com)

L 1 pts 0 comments by mc Jul 10, 2012 python Programming (General)Programming Languages / CS Theory thread

Authenticating LDAP with Python (hashbeat.blogspot.ca)

L 1 pts 0 comments by mc Jul 10, 2012 python Programming (General)Programming Languages / CS Theory Security / Privacy thread

Pythonista for iPad on the iTunes App Store (itunes.apple.com)

L 2 pts 0 comments by inactive-user Jul 11, 2012 iospython Programming (General)Apple / macOS / iOS thread

Pythonect Programming Language (pythonect.org)

L 2 pts 1 comments by mc Jul 14, 2012 python Programming (General)Programming Languages / CS Theory thread

What else is there in Python? (blog.amir.rachum.com)

L 3 pts 1 comments by mc Jul 24, 2012 python Programming (General)Programming Languages / CS Theory thread

Beating the Doodle in 22 lines of Python (youtube.com)

L 3 pts 0 comments by mc Aug 8, 2012 pythonvideo Programming (General)Programming Languages / CS Theory thread

Python modules in C (danfm.ca)

L 3 pts 0 comments by inactive-user Aug 11, 2012 cpython Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

pytrace - a fast python tracer (github.com)

L 5 pts 0 comments by inactive-user Aug 16, 2012 python Programming (General)Programming Languages / CS Theory thread

Multi-Core and Distributed Programming in Python (praetorian.com)

L 2 pts 0 comments by inactive-user Aug 17, 2012 distributedpython Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Blessings: Curses, the Python way (pypi.python.org)

L 6 pts 5 comments by zack Aug 18, 2012 python Programming (General)Programming Languages / CS Theory thread

Free Python books (pythonbooks.revolunet.com)

L 7 pts 0 comments by inactive-user Aug 27, 2012 bookpython Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

goto and comefrom in Python (entrian.com)

L 3 pts 1 comments by pushcx Aug 28, 2012 python Programming (General)Programming Languages / CS Theory thread

Using R from within Python (sciprogblog.com)

L 2 pts 0 comments by inactive-user Aug 30, 2012 python Programming (General)Programming Languages / CS Theory thread

A python proxy in less than 100 lines of code (voorloopnul.com)

L 3 pts 0 comments by mc Aug 30, 2012 python Programming (General)Programming Languages / CS Theory thread

An Analysis of the Top Python Repositories Hosted on Github (mjp.github.com)

L 4 pts 0 comments by inactive-user Aug 30, 2012 python Programming (General)Programming Languages / CS Theory thread

human.io -- Develop lightweight mobile applications with a simple Python API (human.io)

L 10 pts 1 comments by snk Aug 31, 2012 mobilepython Programming (General)Programming Languages / CS Theory thread

Some patterns for fast Python. Know any others? (plus.google.com)

L 3 pts 2 comments by inactive-user Sep 11, 2012 python Programming (General)Programming Languages / CS Theory thread

pudb: A full-screen, console-based Python debugger (pypi.python.org)

L 3 pts 0 comments by inactive-user Sep 16, 2012 python Programming (General)Programming Languages / CS Theory Gaming / Retro Computing thread

Why I’m not leaving Python for Go (uberpython.wordpress.com)

L 8 pts 3 comments by jcs Sep 23, 2012 gopython Programming (General)Programming Languages / CS Theory thread