Collected sollutions from codeforces.com.
☆21May 1, 2022Updated 4 years ago
Alternatives and similar repositories for codeforces-dataset
Users that are interested in codeforces-dataset 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 tool to check for potential open source licensing problems.☆12Aug 17, 2016Updated 9 years ago
- 手机商城☆11Dec 16, 2022Updated 3 years ago
- ☆11Feb 16, 2023Updated 3 years ago
- 跨终端电子商务网站的实现，从前端到后台的完整实现。☆11Oct 8, 2017Updated 8 years ago
- ☆16Jun 9, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 6 years ago
- Lightweight Python Wrapper for OpenVINO, enabling LLM inference on NPUs☆29Dec 17, 2024Updated last year
- This repository holds the data and code for the AndroR2 dataset of manually-reproduced bug reports for Android apps☆25Jun 11, 2021Updated 4 years ago
- ☆11Sep 15, 2023Updated 2 years ago
- ☆15Aug 27, 2022Updated 3 years ago
- EduAgent: Generative Student Agents in Learning☆35Feb 14, 2026Updated 2 months ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆21Dec 18, 2022Updated 3 years ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆25Mar 25, 2026Updated last month
- An open-source license compliance analysis and license recommendation tool.☆28Apr 26, 2026Updated last week
- 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.
- [ACL 2023] Code for ContraCLM: Contrastive Learning For Causal Language Model☆35Dec 20, 2023Updated 2 years ago
- ☆12Nov 5, 2024Updated last year
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆33Dec 9, 2023Updated 2 years ago
- ☆11Dec 11, 2024Updated last year
- Enhacing Code Pre-trained Models by Contrastive Learning☆39Mar 8, 2023Updated 3 years ago
- PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)☆30Jun 21, 2024Updated last year
- Baishop是一款B2C电子商务网站，可以生成通用的电子商务构建平台，您可以非常方便的开一个网上商店，在网上开展自己的生意。网站采用纯Java编写，基于JDK6.0，使用 MySQL数据库。☆30Dec 13, 2012Updated 13 years ago
- Example code to train a Graph Neural Network on the MNIST dataset in PyTorch for Digit Classification☆28Jan 6, 2020Updated 6 years ago
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆36Mar 26, 2026Updated last month
- 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.
- xState-based validation tool for OCF files☆15Apr 1, 2026Updated last month
- Meta-repo for the Nowcasting project.☆11Oct 15, 2024Updated last year
- 基于 PyEcharts + Flask + Bootstrap，采用前后端分离模式，生成一个完整的数据可视化系统。数据来源于Sakila样本数据库。☆26Oct 12, 2020Updated 5 years ago
- Program synthesis class taught by Loris D'Antoni☆39Oct 5, 2025Updated 6 months ago
- ☆57May 28, 2024Updated last year
- ☆62Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated 3 months ago
- ☆36Dec 16, 2024Updated last year
- Pricing European and American options with jump models using CUDA on the GPU☆12Apr 12, 2016Updated 10 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.
- A tool for exploring the solc abstract syntax tree☆37Mar 20, 2024Updated 2 years ago
- MIT's abstract interpretation class taught by Cousot☆38Oct 13, 2014Updated 11 years ago
- online examination☆31Jul 23, 2023Updated 2 years ago
- Code and data for "MT-Eval: A Multi-Turn Capabilities Evaluation Benchmark for Large Language Models"☆53Nov 18, 2025Updated 5 months ago
- Software Language Engineering Body of Knowledge☆49Feb 17, 2020Updated 6 years ago
- 操作系统作业-四种进程调度算法模拟☆29Apr 8, 2016Updated 10 years ago
- ☆26Oct 3, 2025Updated 7 months ago