Home of course "Programmable Society" at KTH Royal Institute of Technology
☆21Dec 12, 2025Updated 8 months ago
Alternatives and similar repositories for programmable-society
Users that are interested in programmable-society are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WASP Research Arena for Software☆12Jun 10, 2022Updated 4 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆17Oct 3, 2022Updated 3 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 11 months ago
- software art polyglot studio☆26Jul 14, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An interactive web service for the visualization of Java dependencies with DepClean☆21Apr 8, 2022Updated 4 years ago
- automatically detect software supply chain smells and issues http://arxiv.org/pdf/2410.16049☆20Apr 14, 2026Updated 3 months ago
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago
- re|thread is an open collective of computer scientists, artists, and designers, in Stockholm (Sweden)☆35Apr 28, 2026Updated 3 months ago
- This repository contains a list of papers about software supply chain☆29May 22, 2024Updated 2 years ago
- ☆25Jun 21, 2022Updated 4 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- MangoLight Editor is a lightweight open-source code editor for editing files remotely through FTP☆13Dec 11, 2015Updated 10 years ago
- Display dynamic real-time information about running Node.js process☆17Aug 3, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A package for performing time series classification in Weka.☆10Aug 16, 2023Updated 2 years ago
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆145Oct 3, 2024Updated last year
- Python infrastructure to train paths selectors for symbolic execution engines.☆15Updated this week
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 5 years ago
- Source code and data about our large scale study about Java annotaion in practice☆12Apr 14, 2023Updated 3 years ago
- ☆10Oct 4, 2023Updated 2 years ago
- The Earth is flat but Solidity source code is not. This fixes that.☆19Apr 8, 2019Updated 7 years ago
- Inconsistent code detection for Java.☆15Jan 26, 2018Updated 8 years ago
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- CLI tool for managing Git repositories on GitHub and GitLab in the context of education☆81Mar 24, 2025Updated last year
- ☆15Sep 29, 2022Updated 3 years ago
- Example of Zip Slip vulnerability exploitation☆20May 3, 2026Updated 3 months ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Web app to grade your assessments anywhere☆12Dec 31, 2025Updated 7 months ago
- ☆14Feb 5, 2024Updated 2 years ago
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated last month
- ☆13May 27, 2019Updated 7 years ago
- Exploitation of security vulnerabilities found in poorly designed token-weighted governance protocols, using AAVE flash loans to gain unf…☆12Sep 30, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Everything related to practica profesional☆13Aug 18, 2021Updated 4 years ago
- BlueDot - A local console for the global cloud. One TUI To Rule Them All. Shop and Deploy VPS from command line, compare offers from AWS,…☆15Feb 21, 2026Updated 5 months ago
- ☆12Oct 10, 2023Updated 2 years ago
- Open-science repository for the evaluation of the Dspot test amplification system☆14Jan 26, 2023Updated 3 years ago
- A Solidity interpreter☆72Feb 1, 2026Updated 6 months ago
- Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)☆89Jan 24, 2026Updated 6 months ago
- ☆11Aug 24, 2023Updated 2 years ago