Deadline countdowns for academic conferences relevant to the SSE chair.
☆13Jun 25, 2026Updated 2 months ago
Alternatives and similar repositories for deadlines
Users that are interested in deadlines are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An external project example using SVF as a library☆23Jul 10, 2026Updated 2 months ago
- A web based translation compendium☆17Apr 28, 2020Updated 6 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆23Aug 23, 2021Updated 5 years ago
- Software-Defined GPS Signal Simulator☆14Aug 21, 2018Updated 8 years ago
- ☆11Jun 8, 2021Updated 5 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.
- A terminal feed reader for HN and Reddit, lobste.rs and Github Trending☆28May 14, 2026Updated 4 months ago
- A simple CTF platform in a single binary☆11Jun 21, 2020Updated 6 years ago
- Evaluating SZZ Implementations Through a Developer-informed Oracle (https://arxiv.org/abs/2102.03300)☆21Jun 1, 2023Updated 3 years ago
- 膨胀卷积,Multi Scale Context Aggregation by Dilated Convolutions的实现☆12Dec 24, 2017Updated 8 years ago
- ☆12Feb 16, 2024Updated 2 years ago
- ☆22Nov 17, 2021Updated 4 years ago
- ☆14Jan 11, 2025Updated last year
- GPS multipath simulation in Gazebo☆19Jul 12, 2023Updated 3 years ago
- A simple workspace based interface to the solidity-parser and objectified Abstract Syntax Tree☆17May 5, 2024Updated 2 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.
- An experimental Kotlin compiler in Rust.☆16May 13, 2020Updated 6 years ago
- A template for writing your Bachelor, Master or PhD thesis.☆10Sep 25, 2023Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆73Jul 1, 2024Updated 2 years ago
- ☆12Nov 30, 2018Updated 7 years ago
- ☆13Feb 14, 2022Updated 4 years ago
- This repository is the replication package of the ICSE22 paper "FIRA: Fine-Grained Graph-Based Code Change Representation for Automated C…☆33Apr 20, 2022Updated 4 years ago
- Implemented Sports Action Recognition system using SVM classifier. First, extracted the features from each video frame from each categor…☆14Oct 15, 2019Updated 6 years ago
- StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…☆11Nov 12, 2018Updated 7 years ago
- An easy docker-compose deployement of hotcrp☆21Sep 7, 2022Updated 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.
- Implements consensus algorithms on fixed and time varying graphs☆20Aug 1, 2020Updated 6 years ago
- Extracts static code features from opencl kernels to be used for machine learning.☆10Apr 30, 2021Updated 5 years ago
- Human Activity Recognition using ML on UCI HAR dataset☆16Dec 13, 2014Updated 11 years ago
- The official codes for our paper at COLING 2022: Semantic-Preserving Adversarial Code Comprehension☆12Oct 23, 2022Updated 3 years ago
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- 基于U-Net和V-Net的2.5D网络---用于肝脏肿瘤分割☆15Jul 5, 2020Updated 6 years ago
- ☆11Jul 20, 2021Updated 5 years ago
- Implementation of Faster RCNN for Vehicle Detection☆16May 17, 2017Updated 9 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 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.
- Các vấn đề hiện đại CNTT☆11Dec 4, 2017Updated 8 years ago
- A boilerplate for a Monorepo that manages separate independently versioned packages☆10Jan 7, 2023Updated 3 years ago
- Python tools to deal with flatbuffers: flatc.py and thrift2fbs.py. Forked from eleme/thriftpy.☆20Dec 9, 2025Updated 9 months ago
- Build Docker images for unibench☆17Jan 1, 2021Updated 5 years ago
- A lightweight tool to measure the full memory of a Python session☆19Mar 24, 2026Updated 5 months ago
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- Source files from my Linux Sysadmin Blog☆12Mar 16, 2023Updated 3 years ago