Alternatives and similar repositories for startup2022

Users that are interested in startup2022 are comparing it to the libraries listed below

• papachristoumarios / jupyter-greek-latex

  View on GitHub
  Export Jupyter Notebooks to (Xe)LaTeX with Greek Support
  ☆13Nov 25, 2018Updated 7 years ago
• SERG-Delft / serg-delft.github.io

  View on GitHub
  SERG web site
  ☆11Feb 5, 2026Updated last week
• microsoft / verus-copilot-vscode

  View on GitHub
  ☆16Jan 23, 2026Updated 3 weeks ago
• delft-hyperloop / Helios_III

  View on GitHub
  control code for the Helios 3 hyperloop pod (delft hyperloop 08, 2023-2024)
  ☆12Nov 26, 2024Updated last year
• dirkriehle / adap-course

  View on GitHub
  A course on advanced object-oriented design and programming
  ☆18Jan 12, 2026Updated last month
• srikumarks / carnot

  View on GitHub
  Carnatic Music Notation rendering engine
  ☆14Nov 24, 2013Updated 12 years ago
• Beneficial-AI-Foundation / dafny-autopilot

  View on GitHub
  ☆14Jun 11, 2025Updated 8 months ago
• bkiers / ecmascript-parser

  View on GitHub
  An ANTLR4 grammar for ECMAScript 5.1
  ☆16Jul 13, 2017Updated 8 years ago
• CrumpLab / statisticsLab

  View on GitHub
  Lab manual for Psyc 3400 @ Brooklyn College
  ☆17Dec 10, 2020Updated 5 years ago
• ChoosyDevs / Choosy

  View on GitHub
  Choosy is a mobile application that allows users to create photo polls that others can vote on and help declare which photo is the best.
  ☆15Apr 3, 2022Updated 3 years ago
• ckaestne / gdoc2latex

  View on GitHub
  ☆13Jan 18, 2025Updated last year
• rabbanyk / FARZ

  View on GitHub
  Benchmark Generator for Community Detection Validation
  ☆12May 17, 2018Updated 7 years ago
• apas / dotfiles

  View on GitHub
  My dotfiles
  ☆12Sep 26, 2025Updated 4 months ago
• MinhasKamal / ResultAnalysisTool

  View on GitHub
  A Complete Package for Processing OMR Answer Sheet
  ☆12Oct 26, 2020Updated 5 years ago
• metareflection / dafny-annotator

  View on GitHub
  AI-assisted verification of Dafny Programs
  ☆18Nov 9, 2025Updated 3 months ago
• dspinellis / kbd-layout-fix

  View on GitHub
  Auto-correct text entered with the wrong keyboard layout
  ☆14Mar 10, 2021Updated 4 years ago
• jin-guo / COMP585

  View on GitHub
  ☆12Aug 28, 2025Updated 5 months ago
• MinhasKamal / GRExercise

  View on GitHub
  Free GRE Practice Environment (awa-analytical-essay-writing-ets-issue-argument-pool-calculator-gre-exercise)
  ☆12Sep 30, 2022Updated 3 years ago
• summerscope / mapping-fair-ml

  View on GitHub
  😇A curated list of links and resources for Fair ML and Data Ethics
  ☆18May 31, 2022Updated 3 years ago
• DavisPL / lhs

  View on GitHub
  Yet another Rust MIR analysis tool
  ☆15Aug 22, 2025Updated 5 months ago
• WM-SEMERU / dl4se

  View on GitHub
  A Systematic Literature Review of Deep Learning in Software Engineering
  ☆20Aug 28, 2024Updated last year
• mithun-prasad / DeepLearning

  View on GitHub
  Training resources around Deep Learning and CNTK
  ☆19Aug 20, 2017Updated 8 years ago
• aparrish / plot-to-poem

  View on GitHub
  "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.
  ☆21Apr 30, 2017Updated 8 years ago
• awsm-research / A3Test

  View on GitHub
  ☆23Nov 22, 2023Updated 2 years ago
• trishullab / clever

  View on GitHub
  CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning
  ☆37Dec 18, 2025Updated last month
• msrconf / msrconf

  View on GitHub
  ☆21Oct 1, 2020Updated 5 years ago
• secure-foundations / human-eval-verus

  View on GitHub
  ☆23Oct 1, 2025Updated 4 months ago
• squaresLab / genprog4java

  View on GitHub
  ☆18Oct 3, 2024Updated last year
• purpcode-uiuc / purpcode

  View on GitHub
  🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025
  ☆35Aug 24, 2025Updated 5 months ago
• ryanwoodsmall / oldsysv

  View on GitHub
  ☆27Sep 29, 2018Updated 7 years ago
• upenn-cis198 / lecture1

  View on GitHub
  High level overview of Rust
  ☆18Oct 13, 2021Updated 4 years ago
• IBM / TDD-Bench-Verified

  View on GitHub
  TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)
  ☆27Sep 18, 2025Updated 4 months ago
• mpolla / stravaup

  View on GitHub
  Upload fit files to strava.com from the command line
  ☆21Aug 31, 2023Updated 2 years ago
• toddmotto / functional-programming-jargon

  View on GitHub
  Jargon from the functional programming world in simple terms! (WIP)
  ☆20May 27, 2016Updated 9 years ago
• an-ko-7 / sms-predator-scan

  View on GitHub
  Scans all the SMS of an Android device for any known domain that is related with the spyware Predator by Cytrox / Intellexa.
  ☆25Sep 12, 2022Updated 3 years ago
• antonio-mastropaolo / T5-learning-ICSE_2021

  View on GitHub
  ☆24Jan 19, 2022Updated 4 years ago
• kafidas / just-text

  View on GitHub
  Greek Laws in plain text format
  ☆27Mar 25, 2025Updated 10 months ago
• JetBrains-Research / buckwheat

  View on GitHub
  A multi-language tokenizer for extracting identifiers from source code.
  ☆24Apr 27, 2022Updated 3 years ago
• agorf / jot

  View on GitHub
  Command-line note-taking for minimalists
  ☆28May 7, 2020Updated 5 years ago