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☆10Dec 8, 2022Updated 3 years ago
- Python poker library☆14Sep 9, 2023Updated 2 years ago
- ☆16Dec 8, 2022Updated 3 years ago
- ☆11Apr 27, 2026Updated 4 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 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 7 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 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
- ☆12Dec 11, 2021Updated 4 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 11 months ago
- Plug-in for development GIMP 2.99 for loading/saving JPEG XL (JXL) images.☆16Feb 14, 2022Updated 4 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.
- NeuraLUT-Assemble☆53Aug 20, 2025Updated last year
- 京东薅羊毛脚本，自动签到，做任务等docker一键启动。有使用上的问题可以加qq群644989387交流。【以上内容为原作者说明】☆10Feb 8, 2022Updated 4 years ago
- ☆48Sep 19, 2024Updated last year
- Evaluation of novel deep learning models for cryptocurrency price forecasting☆36Jun 6, 2024Updated 2 years ago
- R package providing Asio C++ library header files☆13Jul 27, 2026Updated last month
- Official ttylinux Build System☆11Feb 23, 2023Updated 3 years ago
- Experiments with sequent calculi☆30Mar 28, 2021Updated 5 years ago
- Language bindings for Maude☆26Updated this week
- ☆14Jun 3, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 9 months ago
- support linux & windows☆13Aug 27, 2019Updated 7 years ago
- from images automatically generates kindle comic(mobi)☆11Aug 4, 2023Updated 3 years ago
- ☆14Mar 14, 2022Updated 4 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 2 years ago
- A client-side ONLY mod, adds the quick stacking and restocking features from Terraria into Minecraft.☆21Updated this week
- Browse your memories without any interruptions with this photo and video gallery☆21Jan 3, 2024Updated 2 years ago
- This is a library of latex classes for creating documents according to the Utrecht University style guide.☆41Feb 6, 2024Updated 2 years ago
- A command-line utility for a YeeLight RGB lamp. (mirror of https://gitlab.com/stavros/yeecli)☆43Dec 26, 2022Updated 3 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.
- smart contracts deployed on Ethereum, one per skeleton☆12Mar 10, 2024Updated 2 years ago
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 13 years ago
- 一个逗比魔改的Directory Lister~☆15Mar 24, 2017Updated 9 years ago
- 支持世纪互联的魔改Rclone整合集☆13Apr 15, 2024Updated 2 years ago
- Wifi/Ethernet network session hijacker based on Scapy☆21Mar 14, 2013Updated 13 years ago
- Instagram automation tool for farming comments, follows and likes, written in Python☆50Feb 8, 2024Updated 2 years ago
- Demo of shiny working with echarts4r☆16Feb 18, 2020Updated 6 years ago