ltl2dfa
A series of programs that can create LTL formulas or take user provided ones, converts them to a DFA and can generate Traces
https://github.com/albertoroper/gw_turbulence_old
Generates gravitational wave results from analytical simulations in https://arxiv.org/pdf/1903.08585.pdf
double-jeopardy-in-llms
Code for "Double Jeopardy and Climate Impact in the Use of Large Language Models." Includes scripts for analyzing socio-economic disparities, tokenization inefficiencies, and LLM utility using FLORES-200, Ethnologue, WDI, and GPT-4 APIs.
yaml2script
This is a mirror of https://gitlab.com/yaml2script/yaml2script . yaml2script is a Python script that extracts shell scripts from a GitLab CI/CD configuration file .gitlab-ci.yml and allows you to test/analyze them with tools like shellcheck.
https://github.com/alan-turing-institute/trustworthy-assurance
A site for resources on trustworthy assurance
https://github.com/ammarlodhi255/yolov10-fracture-detection
This repository contains code the official code for the paper "Pediatric Wrist Fracture Detection in X-rays via YOLOv10 Algorithm and Dual Label Assignment System"
rionid
Collection of code for the identification of ring-stored ions in Python.
covid-19-signal
Files and methodology pertaining to the sequencing and analysis of SARS-CoV-2, causative agent of COVID-19.
https://github.com/alan-turing-institute/bias-cards
An interactive activity from the Turing Commons programme
acme-ims
Inventory Management System using JavaFX for a small manufacturing organization