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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A compilation of tools I have created for Fiesta Online☆12Dec 8, 2022Updated 3 years ago
- Python poker library☆14Sep 9, 2023Updated 3 years ago
- ☆16Dec 8, 2022Updated 3 years ago
- ☆11Apr 27, 2026Updated 6 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This provides basic replication materials for the Dutch Polling Indicator (Peilingwijzer).☆11Mar 15, 2017Updated 9 years ago
- Finds and installs the latest available version of R packages for older versions of R☆14Jun 25, 2019Updated 7 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 4 years ago
- ☆12Dec 11, 2021Updated 4 years ago
- Source code for vimcasts.org☆30Jan 18, 2023Updated 3 years ago
- Kernel Tree for OnePlus X☆14Nov 23, 2023Updated 2 years ago
- Icmake is a make utility using a C-line grammar☆10Jan 17, 2020Updated 6 years ago
- Plug-in for development GIMP 2.99 for loading/saving JPEG XL (JXL) images.☆16Feb 14, 2022Updated 4 years ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Sep 22, 2025Updated last year
- 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.
- 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 11 months ago
- 京东薅羊毛脚本，自动签到，做任务等docker一键启动。有使用上的问题可以加qq群644989387交流。【以上内容为原作者说明】☆10Feb 8, 2022Updated 4 years ago
- ☆48Sep 19, 2024Updated 2 years ago
- Evaluation of novel deep learning models for cryptocurrency price forecasting☆36Jun 6, 2024Updated 2 years ago
- Official ttylinux Build System☆11Feb 23, 2023Updated 3 years ago
- ☆14Jun 3, 2020Updated 6 years ago
- 支持世纪互联的魔改Rclone整合集☆13Apr 15, 2024Updated 2 years ago
- Language bindings for Maude☆27Aug 28, 2026Updated 2 months ago
- from images automatically generates kindle comic(mobi)☆11Aug 4, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 一个逗比魔改的Directory Lister~☆15Mar 24, 2017Updated 9 years ago
- ☆14Mar 14, 2022Updated 4 years ago
- Experiments with sequent calculi☆30Mar 28, 2021Updated 5 years ago
- NeuraLUT-Assemble☆55Aug 20, 2025Updated last year
- R package providing Asio C++ library header files☆13Jul 27, 2026Updated 3 months ago
- Project MultiBat (or "Multi" for short) is a thread-pool emulation helper library for controlling multi-threaded windows batch (*.BAT) fi…☆19Aug 8, 2024Updated 2 years ago
- support linux & windows☆14Aug 27, 2019Updated 7 years ago
- Browse your memories without any interruptions with this photo and video gallery☆21Jan 3, 2024Updated 2 years ago
- A benchmarking platform for Solidity fuzzers☆12Jun 24, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A command-line utility for a YeeLight RGB lamp. (mirror of https://gitlab.com/stavros/yeecli)☆43Dec 26, 2022Updated 3 years ago
- A greener fuzzer benchmarking platform☆10Jun 2, 2023Updated 3 years ago
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆12Jun 12, 2024Updated 2 years ago
- Push SpotBugs results as check run annotations☆10Oct 16, 2023Updated 3 years ago
- ☆14Sep 16, 2026Updated last month
- This is a library of latex classes for creating documents according to the Utrecht University style guide.☆42Feb 6, 2024Updated 2 years ago
- Instagram automation tool for farming comments, follows and likes, written in Python☆49Feb 8, 2024Updated 2 years ago