Stars
Static program analysis framework for Ethereum smart contract bytecode.
Web application for designing DNA structures such as DNA origami.
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
This is the Python implementation of DistAlgo, a language for distributed algorithms.
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
Alda is an extension of DistAlgo to support logic rules.
A web-based 3d game engine that allows teachers to design virtual lab environments for their students
Discrete Math with Programming: A Principled Approach
SETL2 programming language by W. Kirk Snyder, with additions by Salvatore Paxia
A repository of algorithms implemented in DistAlgo
Moved to Codeberg, this repo is just a (temporary) mirror -- Toy Parser Generator is a lexical and syntactic parser generator for Python.
Python programs, usually short, of considerable difficulty, to perfect particular skills.
A curated list of academic blockchain-related papers
🌳 A collection of distributed graph algorithms, implemented in Python/DistAlgo
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Awesome & interesting talks about programming
A system for compiling queries into incremental demand-driven code