Home of course "Programmable Society" at KTH Royal Institute of Technology
☆21Dec 12, 2025Updated 3 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☆15Mar 14, 2026Updated last week
- WASP Research Arena for Software☆12Jun 10, 2022Updated 3 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…☆15Oct 3, 2022Updated 3 years ago
- Repository of the DevOps course at KTH Royal Institute of Technology DD2482☆204Feb 3, 2026Updated last month
- Research material about software engineering at KTH☆18Aug 5, 2024Updated last year
- software art polyglot studio☆21Mar 4, 2026Updated 3 weeks ago
- An interactive web service for the visualization of Java dependencies with DepClean☆21Apr 8, 2022Updated 3 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…☆23Mar 18, 2026Updated last week
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 2 years ago
- Dokumentvorlagen für Seminar- und Abschlussarbeiten am Lehrstuhl für Medieninformatik der Universität Regensburg☆14Jul 12, 2024Updated last year
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- This repository contains a list of papers about software supply chain☆29May 22, 2024Updated last year
- re|thread is an open collective of computer scientists, artists, and designers, in Stockholm (Sweden)☆34Dec 19, 2025Updated 3 months ago
- Art for continuous integration.☆31Jul 19, 2020Updated 5 years ago
- This projects mines maven central and creates a global dependency graph☆32Sep 1, 2022Updated 3 years ago
- HydraGen: A Microservice Benchmark Generator☆20Sep 14, 2025Updated 6 months ago
- Todo List using GitHub Gist☆12Jun 1, 2020Updated 5 years ago
- BanklessDAO Website☆16Feb 28, 2026Updated 3 weeks ago
- 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☆144Oct 3, 2024Updated last year
- ☆19Oct 8, 2025Updated 5 months ago
- EF JavaScript Team Organisation☆10Oct 24, 2024Updated last year
- Python infrastructure to train paths selectors for symbolic execution engines.☆14Updated this week
- The official handbook of the guild.☆13Apr 17, 2025Updated 11 months ago
- Aave Seatbelt for governance proposals☆20Updated this week
- Source code and data about our large scale study about Java annotaion in practice☆12Apr 14, 2023Updated 2 years ago
- A collection of tools to measure and analyze MEV across Layer-2 Rollups (CCS 2024).☆15Oct 25, 2024Updated last year
- Checksums for GitHub Actions.☆18Updated this week
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 9 months ago
- Sweat Token code and resources - Sweat Equity Vault for DAOs☆18Feb 17, 2026Updated last month
- BanklessDAO Constitution and Community Handbook☆12Mar 21, 2024Updated 2 years ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated last year
- Inconsistent code detection for Java.☆14Jan 26, 2018Updated 8 years ago
- Example of Zip Slip vulnerability exploitation☆19Feb 22, 2026Updated last month
- ☆11Feb 16, 2024Updated 2 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- ☆14Feb 5, 2024Updated 2 years ago