Alternatives and similar repositories for sle-rug

Users that are interested in sle-rug are comparing it to the libraries listed below

• gsalzer / skelcodes

  View on GitHub
  smart contracts deployed on Ethereum, one per skeleton
  ☆11Mar 10, 2024Updated last year
• koengit / intuit

  View on GitHub
  An automated theorem prover for intuitionistic propostional logic
  ☆14Sep 21, 2020Updated 5 years ago
• fbb-git / icmake

  View on GitHub
  Icmake is a make utility using a C-line grammar
  ☆10Jan 17, 2020Updated 6 years ago
• aashishkolluri / Ethracer

  View on GitHub
  ☆13May 27, 2019Updated 6 years ago
• kuco23 / pokerlib

  View on GitHub
  Python poker library
  ☆14Sep 9, 2023Updated 2 years ago
• ceciliachan1979 / math

  View on GitHub
  ☆11Aug 25, 2025Updated 5 months ago
• spk121 / guile100

  View on GitHub
  The repository for the 100 Guile Programs project
  ☆15May 7, 2013Updated 12 years ago
• LeonYang95 / LLM4UT

  View on GitHub
  Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"
  ☆13Dec 9, 2024Updated last year
• LorenzoBettini / edelta

  View on GitHub
  An Xtext DSL for EMF metamodels refactoring and migration
  ☆13Feb 2, 2026Updated 2 weeks ago
• eddelbuettel / asioheaders

  View on GitHub
  R package providing Asio C++ library header files
  ☆14Nov 26, 2025Updated 2 months ago
• PAMunb / JimpleFramework

  View on GitHub
  A Rascal implementation of the Jimple framework.
  ☆13Apr 2, 2022Updated 3 years ago
• jwgmeligmeyling / spotbugs-github-action

  View on GitHub
  Push SpotBugs results as check run annotations
  ☆10Oct 16, 2023Updated 2 years ago
• louwerse / peilingwijzer

  View on GitHub
  This provides basic replication materials for the Dutch Polling Indicator (Peilingwijzer).
  ☆11Mar 15, 2017Updated 8 years ago
• HSSLC / kc-generator

  View on GitHub
  from images automatically generates kindle comic(mobi)
  ☆11Aug 4, 2023Updated 2 years ago
• novomesk / gimp-jpegxl-plugin

  View on GitHub
  Plug-in for development GIMP 2.99 for loading/saving JPEG XL (JXL) images.
  ☆15Feb 14, 2022Updated 4 years ago
• Messi-Q / MuFuzz

  View on GitHub
  ☆13Aug 4, 2023Updated 2 years ago
• veo-labs / cas-server-mock

  View on GitHub
  Really simple basic mock for Apereo CAS server
  ☆15Dec 10, 2022Updated 3 years ago
• duckmayr / oldr

  View on GitHub
  Finds and installs the latest available version of R packages for older versions of R
  ☆14Jun 25, 2019Updated 6 years ago
• BlueSkyXN / jd-scripts-docker

  View on GitHub
  京东薅羊毛脚本，自动签到，做任务等docker一键启动。有使用上的问题可以加qq群644989387交流。【以上内容为原作者说明】
  ☆10Feb 8, 2022Updated 4 years ago
• JohnCoene / echarts4rShiny

  View on GitHub
  Demo of shiny working with echarts4r
  ☆15Feb 18, 2020Updated 5 years ago
• hklcf / ViuTV-API

  View on GitHub
  ☆14Jun 3, 2020Updated 5 years ago
• cpsievert / zikar

  View on GitHub
  ☆16Aug 11, 2017Updated 8 years ago
• OS3Lab / LLM4S2

  View on GitHub
  LLM for System/Software Security
  ☆23Dec 29, 2024Updated last year
• MetaTrustLabs / GPTScan-DefiHacks

  View on GitHub
  Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types
  ☆13Aug 8, 2023Updated 2 years ago
• YumeMichi / kernel_oneplus_onyx

  View on GitHub
  Kernel Tree for OnePlus X
  ☆14Nov 23, 2023Updated 2 years ago
• zhuzhizhan / avbtool

  View on GitHub
  support linux & windows
  ☆13Aug 27, 2019Updated 6 years ago
• abjur / brcities

  View on GitHub
  Download city indicators from IBGE and Seade
  ☆13Nov 15, 2018Updated 7 years ago
• xddxdd / sidestore-vpn

  View on GitHub
  Enable SideStore app refreshes network-wide, alternative to StosVPN/WireGuard
  ☆38Feb 7, 2026Updated last week
• secure-software-engineering / authcheck

  View on GitHub
  Analysis for access-control vulnerabilities in Java Spring Security applications.
  ☆14May 25, 2022Updated 3 years ago
• hrbrmstr / account-analysis

  View on GitHub
  Twitter account analysis
  ☆15Sep 26, 2019Updated 6 years ago
• alura-cursos / springboot

  View on GitHub
  Repositório do curso de Spring Boot
  ☆13Sep 13, 2016Updated 9 years ago
• sftcd / nginx

  View on GitHub
  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 2 months ago
• SoftSec-KAIST / Smartian-Artifact

  View on GitHub
  Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
  ☆16Jan 27, 2025Updated last year
• maksym-iv / battle-tools

  View on GitHub
  ☆14Mar 14, 2022Updated 3 years ago
• secure-software-engineering / Jimple-Interpreter

  View on GitHub
  Soot based Jimple interpreter
  ☆14Mar 31, 2021Updated 4 years ago
• mt3 / ttylinux

  View on GitHub
  Official ttylinux Build System
  ☆11Feb 23, 2023Updated 2 years ago
• StefanosChaliasos / sc-defi-security

  View on GitHub
  ☆17Jan 23, 2024Updated 2 years ago
• spgroup / conflict-static-analysis

  View on GitHub
  ☆15Dec 16, 2025Updated 2 months ago
• looorent / spring-security-jwt

  View on GitHub
  Create stateless security on your Spring endpoints using JWT.
  ☆14Feb 29, 2020Updated 5 years ago