https://github.com/eliasjof/slm-cooperative-motion-planning
A Systematic Literature Mapping of Cooperative and Collaborative Multi-UAV Motion Planning Approaches for UAVs
coq-ctproxy
A MetaCoq derivation algorithm for deriving non-mutually inductive collapsed tagged proxies over mutually inductive relations
https://github.com/avivajpeyi/investigating-gpt2
This repository contains a colab notebook that investigates OpenAI's 345M Parameter GPT-2 model that can be used for text generation.
mp3d
Code of paper: Revisiting 3D Context Modeling with Supervised Pre-training for Universal Lesion Detection on CT Slices
https://github.com/beastyblacksmith/measurements.jl
Error propagation calculator and library for physical measurements. It supports real and complex numbers with uncertainty, arbitrary precision calculations, operations with arrays, and numerical integration.
https://github.com/blink1073/vidsrc
Read frames from video files as numpy arrays via Microsoft's DirectShow IMediaDet interface.
https://github.com/beastyblacksmith/moleculardynamics.jl
Julia utilities for reading in and analyzing Gromacs simulation results
