SLE course at University of Groningen
☆10Jan 23, 2024Updated 2 years ago
Alternatives and similar repositories for sle-rug
Users that are interested in sle-rug are comparing it to the libraries listed below
Sorting:
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Icmake is a make utility using a C-line grammar☆10Jan 17, 2020Updated 6 years ago
- ☆13May 27, 2019Updated 6 years ago
- R package providing Asio C++ library header files☆14Nov 26, 2025Updated 3 months ago
- Python poker library☆14Sep 9, 2023Updated 2 years ago
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- A Rascal implementation of the Jimple framework.☆13Apr 2, 2022Updated 3 years ago
- ☆11Aug 25, 2025Updated 6 months ago
- An Xtext DSL for EMF metamodels refactoring and migration☆13Updated this week
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 12 years ago
- This provides basic replication materials for the Dutch Polling Indicator (Peilingwijzer).☆11Mar 15, 2017Updated 8 years ago
- from images automatically generates kindle comic(mobi)☆11Aug 4, 2023Updated 2 years ago
- ☆13Aug 4, 2023Updated 2 years ago
- Push SpotBugs results as check run annotations☆10Oct 16, 2023Updated 2 years ago
- Plug-in for development GIMP 2.99 for loading/saving JPEG XL (JXL) images.☆15Feb 14, 2022Updated 4 years ago
- ☆16Aug 11, 2017Updated 8 years ago
- 京东薅羊毛脚本，自动签到，做任务等docker一键启动。有使用上的问题可以加qq群644989387交流。【以上内容为原作者说明】☆10Feb 8, 2022Updated 4 years ago
- support linux & windows☆13Aug 27, 2019Updated 6 years ago
- Finds and installs the latest available version of R packages for older versions of R☆14Jun 25, 2019Updated 6 years ago
- Demo of shiny working with echarts4r☆15Feb 18, 2020Updated 6 years ago
- ☆14Jun 3, 2020Updated 5 years ago
- Really simple basic mock for Apereo CAS server☆15Dec 10, 2022Updated 3 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆13Aug 8, 2023Updated 2 years ago
- Kernel Tree for OnePlus X☆14Nov 23, 2023Updated 2 years ago
- LLM for System/Software Security☆23Dec 29, 2024Updated last year
- Download city indicators from IBGE and Seade☆13Nov 15, 2018Updated 7 years ago
- ☆14Mar 14, 2022Updated 3 years ago
- An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will b…☆15Nov 26, 2025Updated 3 months ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- Analysis for access-control vulnerabilities in Java Spring Security applications.☆14May 25, 2022Updated 3 years ago
- Repositório do curso de Spring Boot☆13Sep 13, 2016Updated 9 years ago
- Official ttylinux Build System☆11Feb 23, 2023Updated 3 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- Twitter account analysis☆15Sep 26, 2019Updated 6 years ago
- ☆15Dec 16, 2025Updated 2 months ago
- Soot based Jimple interpreter☆14Mar 31, 2021Updated 4 years ago
- Create stateless security on your Spring endpoints using JWT.☆14Feb 29, 2020Updated 6 years ago
- A filesystem wrapper☆16Mar 15, 2019Updated 6 years ago