All contest materials for CALSUCO '22, including solutions, editorials, tests, templates, and problem statements.
☆15Nov 25, 2022Updated 3 years ago
Alternatives and similar repositories for calsuco-22
Users that are interested in calsuco-22 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- All contest materials for CALICO Fall '23, including solutions, editorials, tests, templates, and problem statements.☆30Nov 24, 2023Updated 2 years ago
- All contest materials for CALICO Spring '24, including problem statements, templates, tests, solutions, scripts, and editorials.☆10Apr 29, 2024Updated 2 years ago
- Interaction Networks implemented in PyTorch☆11May 28, 2019Updated 7 years ago
- Code and experimental results for LambdaCC☆14Jul 19, 2018Updated 8 years ago
- Minimalist terminal emulator☆22Feb 26, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Planning suite from the RAIL Group @ GMU supporting multi-agent concurrent planning under uncertainty, among other capabilities☆19Nov 3, 2026Updated last week
- Collatz conjecture in Lean☆30Jul 26, 2026Updated 3 months ago
- skyline.vim is a simple statusline plugin for Vim.☆26Jun 28, 2022Updated 4 years ago
- A plugin to sync Kitty's background colour with your Neovim colorscheme☆28Mar 19, 2024Updated 2 years ago
- Play Mario Kart with a Ring Fit Adventure Mod☆10Nov 13, 2022Updated 3 years ago
- Jenkins plugin to generate QR Codes based on build artifacts.☆13Jul 13, 2012Updated 14 years ago
- Reporting Robotframework results to Testlink test manager☆11Apr 8, 2013Updated 13 years ago
- Django-Rest-Framework 教程☆11Feb 16, 2016Updated 10 years ago
- 测试平台☆11Apr 27, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 使用ExtentReport 与ExtentX 来搭建自动化测试报告系统☆11May 14, 2018Updated 8 years ago
- Upload videos to YouTube using geckodriver, Firefox profiles and Selenium.☆37Jan 2, 2024Updated 2 years ago
- ☆14Jul 10, 2015Updated 11 years ago
- Autoinstall Android apk☆13Dec 16, 2015Updated 10 years ago
- nvim-ros2 is a simple lua plugin that adds useful features to enhance your development workflow while developing ROS 2 modules.☆56May 12, 2026Updated 5 months ago
- Read or compare Yaml / Json strings by sub tree or single value☆10Apr 26, 2017Updated 9 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆60Updated this week
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆56Feb 15, 2026Updated 8 months ago
- Gamepad test application for PlayStation 1☆49Nov 22, 2025Updated 11 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆11Mar 22, 2019Updated 7 years ago
- This repo includes lots of configure scripts, code snippet, which can be used everywhere you need.☆14Nov 13, 2025Updated 11 months ago
- [原创]用Flask搭建的测试接口，包含GET,POST表单/REST接口,上传文件,session/接口依赖, 验签, SOAP/XML-RPC接口等，包含接口文档☆12Feb 13, 2019Updated 7 years ago
- Dockerize a RobotFramework☆15Aug 3, 2018Updated 8 years ago
- Your first Scratch3.0 extension☆14Jan 18, 2019Updated 7 years ago
- 扩展基于robotium的测试框架, 实现android aap形式管理和执行case，解决权限操作问题。☆17Nov 28, 2016Updated 9 years ago
- The ICPC Tools - presentations, resolver, CDS, and others.☆128Updated this week
- An attempt to port Apache Jmeter to a web based architecture.☆18Nov 10, 2017Updated 9 years ago
- All-in-one Docker container with Apache Guacamole and Ubuntu with XFCE☆19Apr 8, 2019Updated 7 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.
- stf rest api python wrapper with complex devices filter support☆17Dec 29, 2016Updated 9 years ago
- A django project that can freely control view/model/instance/field permissions.☆14Jan 6, 2018Updated 8 years ago
- Simple Yet Powerful RISC-V Computer☆127Jul 12, 2026Updated 3 months ago
- metamath proof enumerators and other things☆101Nov 16, 2025Updated 11 months ago
- Getting started for running automation testing on Kobiton platform☆24Updated this week
- UCB-BAR fork of LLVM! NOT UPSTREAM RISCV LLVM☆120Feb 10, 2021Updated 5 years ago
- TravianZ in docker-compose☆17Dec 27, 2024Updated last year
Are these results useful?