Home of course "Programmable Society" at KTH Royal Institute of Technology
☆21Dec 12, 2025Updated 6 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:
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Jun 5, 2026Updated 3 weeks ago
- WASP Research Arena for Software☆12Jun 10, 2022Updated 4 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
- Repository of the DevOps course at KTH Royal Institute of Technology DD2482☆205Jun 17, 2026Updated 2 weeks ago
- Research material about software engineering at KTH☆18Mar 27, 2026Updated 3 months 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.
- software art polyglot studio☆25Updated this week
- An interactive web service for the visualization of Java dependencies with DepClean☆21Apr 8, 2022Updated 4 years ago
- Japanese dictionary Android app☆12Sep 20, 2024Updated last year
- Systems programming language with Python-like syntax and C-level performance. Compiles to native x86-64 machine code without external dep…☆24Apr 25, 2026Updated 2 months ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- Dokumentvorlagen für Seminar- und Abschlussarbeiten am Lehrstuhl für Medieninformatik der Universität Regensburg☆16Jul 12, 2024Updated last year
- This repository contains a list of papers about software supply chain☆29May 22, 2024Updated 2 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- re|thread is an open collective of computer scientists, artists, and designers, in Stockholm (Sweden)☆35Apr 28, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Art for continuous integration.☆31Jul 19, 2020Updated 5 years ago
- This projects mines maven central and creates a global dependency graph☆33Sep 1, 2022Updated 3 years ago
- HydraGen: A Microservice Benchmark Generator☆20Sep 14, 2025Updated 9 months ago
- a proof-of-concept of a diverse double compilation☆12Feb 10, 2026Updated 4 months ago
- Todo List using GitHub Gist☆12Jun 1, 2020Updated 6 years ago
- BanklessDAO Website☆15May 5, 2026Updated last month
- The source for the atdown utility☆17Oct 15, 2015Updated 10 years ago
- 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
- 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.
- ☆10Oct 4, 2023Updated 2 years ago
- ☆20Oct 8, 2025Updated 8 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆15Jun 24, 2026Updated last week
- EF JavaScript Team Organisation☆10Oct 24, 2024Updated last year
- Aave Seatbelt for governance proposals☆21Jun 26, 2026Updated last week
- The official handbook of the guild.☆13Apr 22, 2026Updated 2 months ago
- Source code and data about our large scale study about Java annotaion in practice☆12Apr 14, 2023Updated 3 years ago
- A collection of tools to measure and analyze MEV across Layer-2 Rollups (CCS 2024).☆16Oct 25, 2024Updated last year
- Checksums for GitHub Actions.☆19Jun 26, 2026Updated last week
- 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 benchmark for Java gadget chain detecting algorithms.☆16Jun 20, 2025Updated last year
- Sweat Token code and resources - Sweat Equity Vault for DAOs☆18Feb 17, 2026Updated 4 months ago
- BanklessDAO Constitution and Community Handbook☆11Mar 21, 2024Updated 2 years ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago
- Inconsistent code detection for Java.☆15Jan 26, 2018Updated 8 years ago
- Example of Zip Slip vulnerability exploitation☆19May 3, 2026Updated 2 months ago
- ☆11Feb 16, 2024Updated 2 years ago