Home of course "Programmable Society" at KTH Royal Institute of Technology
☆21Dec 12, 2025Updated 7 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
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Jun 5, 2026Updated last month
- ☆17Jan 23, 2024Updated 2 years ago
- Research material about software engineering at KTH☆18Mar 27, 2026Updated 3 months ago
- software art polyglot studio☆26Jul 14, 2026Updated last week
- 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.
- An interactive web service for the visualization of Java dependencies with DepClean☆21Apr 8, 2022Updated 4 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 3 years ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- ☆25Jun 21, 2022Updated 4 years ago
- Art for continuous integration.☆31Jul 19, 2020Updated 6 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- This projects mines maven central and creates a global dependency graph☆33Sep 1, 2022Updated 3 years ago
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 5 years ago
- ☆10Oct 4, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Earth is flat but Solidity source code is not. This fixes that.☆19Apr 8, 2019Updated 7 years ago
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 4 years ago
- A short collection of LaTeX academic writing best practices: it's my personal taste, read it skeptically☆18Updated this week
- Example of Zip Slip vulnerability exploitation☆20May 3, 2026Updated 2 months ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Web app to grade your assessments anywhere☆12Dec 31, 2025Updated 6 months ago
- My website is the digital place where I store & release my ideas. Maintained with and☆16Updated this week
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆16Mar 1, 2022Updated 4 years ago
- Todo List using GitHub Gist☆12Jun 1, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A MAL language that demonstrates the Maven project structure☆23Feb 27, 2026Updated 4 months ago
- ☆14Feb 5, 2024Updated 2 years ago
- ☆13May 27, 2019Updated 7 years ago
- A toolbox with several call graph construction algorithm implementations☆21May 21, 2023Updated 3 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
- ☆12Oct 10, 2023Updated 2 years ago
- Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)☆89Jan 24, 2026Updated 6 months ago
- ☆11Aug 24, 2023Updated 2 years ago
- Downloads ranking of npm packages in different time periods. Npm包在不同时间段的下载量排行☆15Jul 25, 2023Updated 2 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.
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- BanklessDAO Constitution and Community Handbook☆11Mar 21, 2024Updated 2 years ago
- Supplementary Material to be used with the Certora Prover☆17Mar 9, 2022Updated 4 years ago
- Sweat Token code and resources - Sweat Equity Vault for DAOs☆18Feb 17, 2026Updated 5 months ago
- LLM for solidity smart contract automated program repair☆18Mar 5, 2025Updated last year
- ☆15Oct 29, 2025Updated 8 months ago