Home of course "Programmable Society" at KTH Royal Institute of Technology
☆21Dec 12, 2025Updated 10 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:
- scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600☆14Oct 26, 2025Updated last year
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Oct 26, 2026Updated last week
- A Comprehensive Collection of DCR Graph Model of High-Level Design Patterns in Smart Contracts☆12Feb 4, 2025Updated last year
- ☆17Jan 23, 2024Updated 2 years ago
- Research material about software engineering at KTH☆18Mar 27, 2026Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 4 years ago
- 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 6 months ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years 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 6 months ago
- ☆25Jun 21, 2022Updated 4 years ago
- This is the source code for https://clientdiversity.org, a resource site to assist client diversity efforts.☆26Updated this week
- Web3 Security White Hat Training Program☆10Jul 5, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Automatic repair system for Checkstyle errors based on machine learning. http://arxiv.org/pdf/1904.01754☆10Aug 13, 2022Updated 4 years ago
- SolEval is the 1st evaluation framework designed to benchmark Large Language Models (LLMs) for generating Solidity smart contracts at the…☆14Feb 10, 2026Updated 8 months ago
- Art for continuous integration.☆31Jul 19, 2020Updated 6 years ago
- notes by @monperrus☆11Oct 20, 2026Updated last week
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆146Oct 3, 2024Updated 2 years ago
- Pataphysics; what the fuck?☆10Dec 8, 2022Updated 3 years ago
- Source code and data about our large scale study about Java annotaion in practice☆12Apr 14, 2023Updated 3 years ago
- We introduce the Phylax Credible Layer, a novel blockchain security mechanism designed to prevent and mitigate hacks in decentralized ap…☆18Mar 10, 2026Updated 7 months ago
- Inconsistent code detection for Java.☆15Jan 26, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The source for the atdown utility☆17Oct 15, 2015Updated 11 years ago
- EF JavaScript Team Organisation☆10Oct 24, 2024Updated 2 years ago
- CLI tool to generate SBOMs and upload them to SBOM Observer.☆12Jan 29, 2026Updated 9 months ago
- Context Window Analyzer CLI - Understand what fills your LLM context window☆14Feb 3, 2026Updated 8 months ago
- The production record of the Always Allow music video, made end to end by Claude Code: brief, plan, storyboard, tools and the Remotion co…☆16Oct 13, 2026Updated 2 weeks ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆16Updated this week
- ☆16Sep 23, 2026Updated last month
- Web app to grade your assessments anywhere☆12Dec 31, 2025Updated 10 months ago
- A MAL language that demonstrates the Maven project structure☆23Feb 27, 2026Updated 8 months 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.
- A unified smart contract standard data set.☆47Aug 23, 2021Updated 5 years ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆146Updated this week
- ☆14Mar 16, 2026Updated 7 months ago
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated 4 months ago
- ☆16Oct 7, 2026Updated 3 weeks ago
- Exploitation of security vulnerabilities found in poorly designed token-weighted governance protocols, using AAVE flash loans to gain unf…☆12Sep 30, 2024Updated 2 years ago
- Tool of xfuzz, machine learning guided cross-contract fuzzing☆11Aug 21, 2022Updated 4 years ago