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:
- Python poker library☆14Sep 9, 2023Updated 2 years ago
- ☆16Dec 8, 2022Updated 3 years ago
- ☆11Aug 25, 2025Updated 7 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Source code for vimcasts.org☆30Jan 18, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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 6 years ago
- Useful Links for Everything related to LocalFirst☆102Mar 5, 2026Updated last month
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 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
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Sep 22, 2025Updated 6 months ago
- Plug-in for development GIMP 2.99 for loading/saving JPEG XL (JXL) images.☆15Feb 14, 2022Updated 4 years ago
- ☆12Dec 11, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Evaluation of novel deep learning models for cryptocurrency price forecasting☆37Jun 6, 2024Updated last year
- NeuraLUT-Assemble☆48Aug 20, 2025Updated 7 months ago
- 京东薅羊毛脚本，自动签到，做任务等docker一键启动。有使用上的问题可以加qq群644989387交流。【以上内容为原作者说明】☆10Feb 8, 2022Updated 4 years ago
- ☆47Sep 19, 2024Updated last year
- R package providing Asio C++ library header files☆13Nov 26, 2025Updated 4 months ago
- Official ttylinux Build System☆11Feb 23, 2023Updated 3 years ago
- Enable SideStore app refreshes network-wide, alternative to StosVPN/WireGuard☆73Mar 3, 2026Updated last month
- Experiments with sequent calculi☆28Mar 28, 2021Updated 5 years ago
- Language bindings for Maude☆25Nov 2, 2025Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆14Jun 3, 2020Updated 5 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 4 months ago
- support linux & windows☆13Aug 27, 2019Updated 6 years ago
- from images automatically generates kindle comic(mobi)☆11Aug 4, 2023Updated 2 years ago
- ☆14Mar 14, 2022Updated 4 years ago
- A client-side ONLY mod, adds the quick stacking and restocking features from Terraria into Minecraft.☆19Updated this week
- Browse your memories without any interruptions with this photo and video gallery☆21Jan 3, 2024Updated 2 years ago
- A command-line utility for a YeeLight RGB lamp. (mirror of https://gitlab.com/stavros/yeecli)☆44Dec 26, 2022Updated 3 years ago
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 12 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.
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated 2 years 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 last year
- Instagram automation tool for farming comments, follows and likes, written in Python☆50Feb 8, 2024Updated 2 years ago
- 一个逗比魔改的Directory Lister~☆15Mar 24, 2017Updated 9 years ago
- 支持世纪互联的魔改Rclone整合集☆13Apr 15, 2024Updated last year
- Reverse AIDL tool☆45Apr 1, 2015Updated 11 years ago
- Demo of shiny working with echarts4r☆15Feb 18, 2020Updated 6 years ago