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:
- 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☆15Oct 1, 2026Updated last week
- ☆17Jan 23, 2024Updated 2 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 4 years ago
- software art polyglot studio☆26Oct 5, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An interactive web service for the visualization of Java dependencies with DepClean☆21Apr 8, 2022Updated 4 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- Art for continuous integration.☆31Jul 19, 2020Updated 6 years ago
- A package for performing time series classification in Weka.☆10Aug 16, 2023Updated 3 years ago
- EF JavaScript Team Organisation☆10Oct 24, 2024Updated last year
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 5 years ago
- The official handbook of the guild.☆13Sep 16, 2026Updated 3 weeks ago
- A short collection of LaTeX academic writing best practices: it's my personal taste, read it skeptically☆18Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Feb 16, 2024Updated 2 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 5 years ago
- The Earth is flat but Solidity source code is not. This fixes that.☆19Apr 8, 2019Updated 7 years ago
- 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
- A MAL language that demonstrates the Maven project structure☆23Feb 27, 2026Updated 7 months ago
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated 3 months ago
- Enforced permissions for AI agents - policy + enforcement in one stack☆22Updated this week
- ☆12Oct 10, 2023Updated 3 years 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.
- Simple and tiny CORS component☆16Jul 23, 2013Updated 13 years ago
- A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…☆84Aug 7, 2026Updated 2 months ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆17May 31, 2022Updated 4 years ago
- Downloads ranking of npm packages in different time periods. Npm包在不同时间段的下载量排行☆14Jul 25, 2023Updated 3 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- REST API powered by Spring Boot and Neo4j written for a freeCodeCamp course☆10May 24, 2023Updated 3 years ago
- BanklessDAO Constitution and Community Handbook☆11Mar 21, 2024Updated 2 years ago
- Sweat Token code and resources - Sweat Equity Vault for DAOs☆19Oct 4, 2026Updated last week
- Systems programming language with Python-like syntax and C-level performance. Compiles to native x86-64 machine code without external dep…☆25Apr 25, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LLM for solidity smart contract automated program repair☆17Mar 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
- ☆16Aug 7, 2026Updated 2 months ago
- Electron support for Gatsby☆13Jun 6, 2020Updated 6 years ago
- ☆76Dec 18, 2025Updated 9 months ago
- hyTags – Declarative Programming in HTML☆20Jan 8, 2026Updated 9 months ago