☆16Jan 4, 2024Updated 2 years ago
Alternatives and similar repositories for startup2022
Users that are interested in startup2022 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Evaluating SZZ Implementations Through a Developer-informed Oracle (https://arxiv.org/abs/2102.03300)☆21Jun 1, 2023Updated 2 years ago
- Information about the CodedotAI reading group sessions.☆12Aug 16, 2021Updated 4 years ago
- Carnatic Music Notation rendering engine☆14Nov 24, 2013Updated 12 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 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.
- Lab manual for Psyc 3400 @ Brooklyn College☆17Dec 10, 2020Updated 5 years ago
- ☆16Jan 23, 2026Updated 4 months ago
- [JJIT2018] Official repository for "Braille to Text Translation for Bengali Language: A Geometric Approach"☆10Nov 6, 2025Updated 6 months ago
- ☆21Oct 1, 2020Updated 5 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Mar 26, 2026Updated 2 months ago
- ☆18Sep 3, 2024Updated last year
- 😇A curated list of links and resources for Fair ML and Data Ethics☆18May 31, 2022Updated 3 years ago
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆21Apr 30, 2017Updated 9 years ago
- 🤖 bare-bones implementation of a neural network with numpy☆16Jan 4, 2019Updated 7 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.
- An Opinionated Formatter for Verus☆19May 19, 2026Updated last week
- ☆19Apr 5, 2022Updated 4 years ago
- The code and data for "Are Large Pre-Trained Language Models Leaking Your Personal Information?" (Findings of EMNLP '22)☆27Oct 31, 2022Updated 3 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated last year
- A Complete Package for Processing OMR Answer Sheet☆11Oct 26, 2020Updated 5 years ago
- ☆13Jan 18, 2025Updated last year
- ☆12Aug 28, 2025Updated 9 months ago
- A project made for the SCORE student competition at ICSE 2018☆14Oct 31, 2018Updated 7 years ago
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 6 months 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.
- Parseltongue is a DSL for systems which refuse to speak falsehood☆87Apr 28, 2026Updated last month
- [DL4C @ ICLR 2025] A Benchmark for Automated Environment Setup☆36Nov 9, 2025Updated 6 months ago
- Free GRE Practice Environment (awa-analytical-essay-writing-ets-issue-argument-pool-calculator-gre-exercise)☆12Sep 30, 2022Updated 3 years ago
- Tool for mutation testing of C programs☆19May 2, 2020Updated 6 years ago
- Training resources around Deep Learning and CNTK☆19Aug 20, 2017Updated 8 years ago
- ☆26May 10, 2026Updated 2 weeks ago
- Webpage in Night Mode☆23Apr 28, 2017Updated 9 years ago
- nodejs module for searching google scholar☆20Sep 9, 2020Updated 5 years ago
- High level overview of Rust☆19Oct 13, 2021Updated 4 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.
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Mar 5, 2026Updated 2 months ago
- Jargon from the functional programming world in simple terms! (WIP)☆20May 27, 2016Updated 10 years ago
- ☆23Nov 22, 2023Updated 2 years ago
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆29Apr 28, 2026Updated last month
- Data Augmentation for Intent Classification with Off-the-Shelf Large Language Models is a ServiceNow Research project☆31Jun 12, 2023Updated 2 years ago
- ☆18Oct 3, 2024Updated last year
- Yet another Rust MIR analysis tool☆16Aug 22, 2025Updated 9 months ago