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
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Updated this week
- ☆17Jan 23, 2024Updated 2 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 last year
- automatically detect software supply chain smells and issues http://arxiv.org/pdf/2410.16049☆20Apr 14, 2026Updated 4 months 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.
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years 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
- This projects mines maven central and creates a global dependency graph☆34Sep 1, 2022Updated 4 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
- EF JavaScript Team Organisation☆10Oct 24, 2024Updated last year
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆145Updated this 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.
- The official handbook of the guild.☆13Updated this week
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago
- Web app to grade your assessments anywhere☆12Dec 31, 2025Updated 8 months ago
- ☆15Feb 5, 2024Updated 2 years ago
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated 2 months ago
- ☆13May 27, 2019Updated 7 years ago
- Enforced permissions for AI agents - policy + enforcement in one stack☆21Updated this week
- 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 6 months ago
- ☆12Oct 10, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Simple and tiny CORS component☆16Jul 23, 2013Updated 13 years ago
- ☆11Aug 24, 2023Updated 3 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 4 years ago
- Downloads ranking of npm packages in different time periods. Npm包在不同时间段的下载量排行☆14Jul 25, 2023Updated 3 years ago
- Outline of the Agile Artificial Intelligence book☆23Jan 26, 2020Updated 6 years ago
- 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
- 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.
- Sweat Token code and resources - Sweat Equity Vault for DAOs☆19Updated this week
- Systems programming language with Python-like syntax and C-level performance. Compiles to native x86-64 machine code without external dep…☆24Apr 25, 2026Updated 4 months ago
- LLM for solidity smart contract automated program repair☆18Mar 5, 2025Updated last year
- A benchmark for Java gadget chain detecting algorithms.☆18Jun 20, 2025Updated last year
- test driver to run JUnit tests isolated in a new JVM☆16Dec 12, 2024Updated last year
- hyTags – Declarative Programming in HTML☆20Jan 8, 2026Updated 7 months ago
- Text Object Java Objects (TOJOs): an object representation of a multi-line structured text file like CSV, YAML, or JSON☆24Aug 22, 2026Updated last week