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 8 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
- 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.
- 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
- 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
- Useful Links for Everything related to LocalFirst☆122Apr 19, 2026Updated last week
- 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 7 months ago
- Plug-in for development GIMP 2.99 for loading/saving JPEG XL (JXL) images.☆16Feb 14, 2022Updated 4 years ago
- ☆12Dec 11, 2021Updated 4 years 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.
- Evaluation of novel deep learning models for cryptocurrency price forecasting☆37Jun 6, 2024Updated last year
- 京东薅羊毛脚本，自动签到，做任务等docker一键启动。有使用上的问题可以加qq群644989387交流。【以上内容为原作者说明】☆10Feb 8, 2022Updated 4 years ago
- NeuraLUT-Assemble☆49Aug 20, 2025Updated 8 months ago
- ☆47Sep 19, 2024Updated last year
- R package providing Asio C++ library header files☆13Updated this week
- Official ttylinux Build System☆11Feb 23, 2023Updated 3 years ago
- Enable SideStore app refreshes network-wide, alternative to StosVPN/WireGuard☆74Mar 3, 2026Updated last month
- Experiments with sequent calculi☆28Mar 28, 2021Updated 5 years ago
- Language bindings for Maude☆25Nov 2, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆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 5 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.☆19Apr 11, 2026Updated 2 weeks ago
- 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
- 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.
- 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☆49Feb 8, 2024Updated 2 years ago
- 一个逗比魔改的Directory Lister~☆15Mar 24, 2017Updated 9 years ago
- 支持世纪互联的魔改Rclone整合集☆13Apr 15, 2024Updated 2 years ago
- Reverse AIDL tool☆45Apr 1, 2015Updated 11 years ago
- Demo of shiny working with echarts4r☆15Feb 18, 2020Updated 6 years ago