☆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
Sorting:
- Empowering developers to create enterprise-quality cloud infrastructure in minutes☆15Nov 19, 2022Updated 3 years ago
- ☆13Mar 30, 2023Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- Article for the GFOSS - Open Technologies Alliance by DMST students☆11Sep 14, 2018Updated 7 years ago
- Code in QASM for quantum circuits and algorithms☆12Apr 4, 2017Updated 8 years ago
- A high-level cross-platform 2D game development API☆13May 23, 2021Updated 4 years ago
- ☆16Jan 23, 2026Updated last month
- SERG web site☆11Feb 18, 2026Updated 2 weeks ago
- Information about the CodedotAI reading group sessions.☆12Aug 16, 2021Updated 4 years ago
- ☆14Jun 11, 2025Updated 8 months ago
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 years ago
- A project made for the SCORE student competition at ICSE 2018☆14Oct 31, 2018Updated 7 years ago
- Carnatic Music Notation rendering engine☆14Nov 24, 2013Updated 12 years ago
- A course on advanced object-oriented design and programming☆18Jan 12, 2026Updated last month
- Translate Braille Writing to Plain Text☆10Nov 6, 2025Updated 4 months ago
- Data, Code and Results from the ICSE 2019 accepted paper: Analysis and Detection of Information Types of Open Source Software Issue Discu…☆12Feb 25, 2019Updated 7 years ago
- Lab manual for Psyc 3400 @ Brooklyn College☆17Dec 10, 2020Updated 5 years ago
- Scripts used for the svn to git conversion of the FreeBSD repositories☆14Oct 26, 2021Updated 4 years ago
- ☆13Jan 18, 2025Updated last year
- ☆12Oct 14, 2021Updated 4 years ago
- Benchmark Generator for Community Detection Validation☆12May 17, 2018Updated 7 years ago
- A Complete Package for Processing OMR Answer Sheet☆12Oct 26, 2020Updated 5 years ago
- Free GRE Practice Environment (awa-analytical-essay-writing-ets-issue-argument-pool-calculator-gre-exercise)☆12Sep 30, 2022Updated 3 years ago
- Auto-correct text entered with the wrong keyboard layout☆15Mar 10, 2021Updated 5 years ago
- 😇A curated list of links and resources for Fair ML and Data Ethics☆18May 31, 2022Updated 3 years ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆18Feb 12, 2025Updated last year
- 🤖 bare-bones implementation of a neural network with numpy☆16Jan 4, 2019Updated 7 years ago
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 4 months ago
- An Opinionated Formatter for Verus☆17Updated this week
- Evaluating SZZ Implementations Through a Developer-informed Oracle (https://arxiv.org/abs/2102.03300)☆19Nov 3, 2025Updated 4 months ago
- ☆18Sep 3, 2024Updated last year
- The Greek Legacy☆15May 22, 2020Updated 5 years ago
- Training resources around Deep Learning and CNTK☆19Aug 20, 2017Updated 8 years ago
- System Intelligence Benchmark☆49Updated this week
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated last year
- ☆19Apr 5, 2022Updated 3 years ago
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆21Apr 30, 2017Updated 8 years ago
- ☆23Nov 22, 2023Updated 2 years ago
- tsellm: LLMs in SQLite and DuckDB☆25Apr 21, 2025Updated 10 months ago