Repositories list

• scyros

  Public
  A framework to design sound, reproducible and scalable mining repository studies on GitHub.

  githubdata-miningcode-analysis+ 1

  githubdata-miningcode-analysisrepository-mining

  Rust

  •

  Apache License 2.0

  •1•1•0•0•Updated Mar 9, 2026Mar 9, 2026

• cpython

  Public
  The Python programming language

  Python

  •

  Other

  •34k•7•14•11•Updated Mar 6, 2026Mar 6, 2026

• stainless-tutorial

  Public
  Scala

  •0•0•0•0•Updated Jan 21, 2026Jan 21, 2026

• trieste-while

  Public
  Trieste development of the While language

  C++

  •2•0•0•0•Updated Dec 2, 2025Dec 2, 2025

• stainless-float-benchmarks

  Public
  Floating-point benchmarks for Stainless

  Scala

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 29, 2025Oct 29, 2025

• trieste-miniml

  Public
  Trieste implementation of MiniML with type inference

  C++

  •1•0•0•0•Updated Oct 24, 2025Oct 24, 2025

• jdk

  Public
  JDK main-line development https://openjdk.org/projects/jdk

  Java

  •

  GNU General Public License v2.0

  •6.3k•0•0•0•Updated Sep 30, 2025Sep 30, 2025

• frankenscript

  Public
  A tool to explore and visualize region-based ownership in dynamic programming languages.

  C++

  •

  MIT License

  •1•10•8•2•Updated Aug 5, 2025Aug 5, 2025

• gitmem

  Public
  C++

  •2•0•0•1•Updated Jul 1, 2025Jul 1, 2025

• node-samsung-emdx

  Public
  Show an image on a Samsung EMDX E-Paper Display from the command line.

  JavaScript

  •8•0•0•0•Updated May 20, 2025May 20, 2025

• harbour

  Public
  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

• pf

  Public
  A LaTeX package for doing proof by cases

  TeX

  •0•0•0•0•Updated Apr 21, 2023Apr 21, 2023

• notebooks

  Public
  Java

  •1•1•0•1•Updated Apr 27, 2021Apr 27, 2021

• marielund

  Public
  Compute kernel for stencil applications in C++ and Java

  C++

  •0•0•0•0•Updated Apr 27, 2021Apr 27, 2021