Code for ASE'24 paper "B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests"
☆11Sep 10, 2024Updated 2 years ago
Alternatives and similar repositories for B4
Users that are interested in B4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for ACL (main) paper "JumpCoder: Go Beyond Autoregressive Coder via Online Modification"☆25May 18, 2024Updated 2 years ago
- 推荐系统入门教程，包含基础知识和相应的运行实例☆11Jan 9, 2024Updated 2 years ago
- ☆14Apr 21, 2023Updated 3 years ago
- Code and data release of the paper Enhancing LLM Complex Problem-Solving with Hybrid Thinking and Dynamic Workflows☆15Oct 4, 2024Updated last year
- A Vue component for LaTeX expression rendering using KaTeX.☆14Apr 7, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Jul 22, 2025Updated last year
- Repository for the paper "InfiGUI-R1: Advancing Multimodal GUI Agents from Reactive Actors to Deliberative Reasoners"☆66Dec 4, 2025Updated 9 months ago
- ☆16Jun 15, 2023Updated 3 years ago
- Official code repository for KDD'24 paper "Calibration of Time-Series Forecasting: Detecting and Adapting Context-Driven Distribution Shi…☆38Jun 19, 2025Updated last year
- A Multipart upload solution on Android, including notification and network change.☆15Sep 15, 2019Updated 7 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 5 years ago
- Spring Boot 3 + Spring Security 6 + JWT.☆15Mar 11, 2023Updated 3 years ago
- Fault-aware neural code rankers☆32Dec 9, 2022Updated 3 years ago
- Official code repository for paper "VisionTS++: Cross-Modal Time Series Foundation Model with Continual Pre-trained Visual Backbones"☆40Nov 9, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LightGCN recommender system pytorch-geometric/Jupyter notebook implementation with Python☆17Jun 24, 2024Updated 2 years ago
- coinduction library for Coq☆28May 6, 2026Updated 4 months ago
- Display (binary) .npy or .npz files in VSCode.☆25Aug 24, 2026Updated last month
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆42Updated this week
- ☆22Jan 14, 2021Updated 5 years ago
- Dump, review and analyse one's MajSoul logs with Mortal AI at one command☆10Nov 10, 2024Updated last year
- ☆11Sep 16, 2024Updated 2 years ago
- Using advanced machine learning technology to help you farm PP in osu!☆77Sep 1, 2024Updated 2 years ago
- Render, select coordinates, export to video and more.☆13Apr 28, 2024Updated 2 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.
- [WACV2023] This is the official PyTorch impelementation of our paper "[Rethinking Rotation in Self-Supervised Contrastive Learning: Adapt…☆12Feb 24, 2023Updated 3 years ago
- Bazel defs and rules for building Python projects with nanobind extensions.☆12Mar 12, 2026Updated 6 months ago
- ☆10Feb 12, 2024Updated 2 years ago
- This repository is the official implementation of Topology-Informed Graph Transformer (Choi et al., GRaM Workshop at ICML 2024).☆12Dec 28, 2024Updated last year
- ☆11May 3, 2026Updated 4 months ago
- ENRICH: multi-purposE dataset for beNchmaRking In Computer vision and pHotogrammetry☆11Mar 13, 2023Updated 3 years ago
- ☆10Sep 25, 2019Updated 6 years ago
- 基于 Node.js 和 TypeScript 构建的智能聊天记录分析系统，专注于 QQ 聊天记录的全链路数据处理与 AI 总结功能，融合自然语言处理、向量模型、任务调度与 Web 前端展示，为用户提供从原始聊天记录导入、上下文理解、兴趣度分析到可视化摘要输出的一站式解决方…☆43Aug 31, 2026Updated 3 weeks ago
- This repo is for my personal reading, translation's credit belongs to @unionx☆40Feb 1, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- AIOps (Papers, Tutorials, and Datasets)☆14Feb 8, 2021Updated 5 years ago
- [ECCV 2024] Robust-Wide: Robust Watermarking against Instruction-driven Image Editing (Official Implementation)☆39May 30, 2025Updated last year
- Code for our paper "VisionTS: Visual Masked Autoencoders Are Free-Lunch Zero-Shot Time Series Forecasters".☆285Aug 13, 2025Updated last year
- A Visual Question Answering model implemented in MindSpore and PyTorch. The model is a reimplementation of the paper *Show, Ask, Attend, …☆10Jul 27, 2021Updated 5 years ago
- Codes and data for KDD 2024 Research Track paper "ProCom: A Few-shot Targeted Community Detection Algorithm"☆11Aug 15, 2024Updated 2 years ago
- ☆10Sep 21, 2024Updated 2 years ago
- Easy and flexible way of encoding and decoding data into either strings or bytes.☆11Dec 17, 2025Updated 9 months ago