Repositories list

• ERSP

  Public
  Research on how LLM and AI can be verified when making medical decisions in triage and first aid situations.

  Alloy

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• aspen

  Public
  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•11 star•1212 issues•22 pull requests•Updated Feb 23, 2026Feb 23, 2026

• 251218-ui-testing-tools

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 18, 2025Dec 18, 2025

• python-pbt-eval

  Public
  The artifact associated with the paper "An Empirical Evaluation of Property-Based Testing in Python" for OOPSLA 2025.

  Jupyter Notebook

  •

  Creative Commons Attribution 4.0 International

  •11 fork•66 stars•00 issues•00 pull requests•Updated Aug 21, 2025Aug 21, 2025

• py-analyzer

  Public
  A set of tools for analyzing Python programs

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 17, 2025Jul 17, 2025

• pipreqs

  Public
  pipreqs - Generate pip requirements.txt file based on imports of any project. Looking for maintainers to move this project forward.

  Python

  •

  Apache License 2.0

  •415415 forks•00 stars•00 issues•00 pull requests•Updated Apr 17, 2025Apr 17, 2025

• Open-NiCad

  Public
  NiCad Clone Detector

  C

  •

  Other

  •66 forks•00 stars•00 issues•00 pull requests•Updated Mar 5, 2025Mar 5, 2025

• docker-nicad

  Public
  Dockerfile for the NiCad clone detector

  Dockerfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 28, 2025Feb 28, 2025

• messageformat.dev

  Public
  JavaScript

  •

  Other

  •22 forks•00 stars•00 issues•00 pull requests•Updated Nov 18, 2024Nov 18, 2024

• oceanography-show-and-tell-f24

  Public
  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 16, 2024Nov 16, 2024