☆14Jul 12, 2016Updated 10 years ago
Alternatives and similar repositories for prime
Users that are interested in prime are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SAFE static analysis tools☆12Apr 16, 2020Updated 6 years ago
- differential☆12Oct 30, 2019Updated 7 years ago
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Aug 21, 2021Updated 5 years ago
- demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"☆11May 26, 2019Updated 7 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years 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.
- A tiny mailbox for AI agents — one CLI, six backends (GitHub repo, SQLite, S3, GCS, Postgres, local). The repo is the bus.☆17Sep 15, 2026Updated last month
- ☆12Oct 22, 2021Updated 5 years ago
- This repository contains the tabnine PR agent☆18Oct 26, 2026Updated 2 weeks ago
- Automated svn2git mirror of include-what-you-use: link goes to upstream☆13May 27, 2015Updated 11 years ago
- Code and dataset for EMNLP 2022 Findings paper "Benchmarking Language Models for Code Syntax Understanding"☆16Oct 24, 2022Updated 4 years ago
- ☆11Dec 31, 2019Updated 6 years ago
- Tiny Image Processing in ECMAScript☆15Feb 7, 2018Updated 8 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆78Dec 3, 2019Updated 6 years ago
- Client for the MOSS plagiarism detection service☆20Sep 13, 2019Updated 7 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.
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated last year
- ☆16Apr 25, 2020Updated 6 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆27Oct 10, 2020Updated 6 years ago
- A Java version of LLVM Core by Hao Liu☆23Jan 31, 2013Updated 13 years ago
- An N-dimensional befunge interpreter☆15Feb 1, 2020Updated 6 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆13Updated this week
- A "yield return" implementation for java☆23Jun 18, 2013Updated 13 years ago
- Website for Learning from "Big Code"☆30Jun 19, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Dec 22, 2021Updated 4 years ago
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆26Apr 26, 2021Updated 5 years ago
- Simple boardgame.io demo☆22Oct 7, 2018Updated 8 years ago
- SIGPLAN website☆13Oct 23, 2026Updated 2 weeks ago
- A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.☆15Jan 6, 2022Updated 4 years ago
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 8 years ago
- converts the XML vehicleLocations API from nextbus (buses that have moved in last x minutes) to a stream-like thing☆13Jun 3, 2014Updated 12 years ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 3 years 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.
- Patches to build Ubuntu Touch for ASUS Transformer TF300T☆11Mar 2, 2014Updated 12 years ago
- tools for annotating html pages☆10Aug 13, 2026Updated 2 months ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- Java bindings for LLVM libraries☆30Jun 9, 2013Updated 13 years ago
- ☆10Nov 21, 2014Updated 11 years ago
- ☆11Jun 17, 2020Updated 6 years ago
- A simple cross-process locking API☆38Mar 23, 2022Updated 4 years ago
Are these results useful?