mys721tx

SCOT

Gromov-Wasserstein based optimal transport for aligning single-cell multi-omics data

teloxide

🤖 An elegant Telegram bots framework for Rust

Time-Appliance-Project

Develop an end-to-end hypothetical reference model, network architectures, precision time tools, performance objectives and the methods to distribute, operate, monitor time synchronization within data center and much more...

manim

A community-maintained Python framework for creating mathematical animations.

thelio-io

Master repository for Thelio Io board

InLaTeXbot

Customizable LaTeX bot for Telegram messenger

unrpyc

A ren'py script decompiler

headscale

An open source, self-hosted implementation of the Tailscale control server

sprk

Gough-stewart platform developed for replicating anatomical surgical environments for the da Vinci surgical robot.

Stewart_Platform

Matlab GUI to calculate and visualize the inverse kinematics of a rotary stewart platform.

memememe

tailscale-mikrotik

Tailscale for Mikrotik Container

buyingacar

Single-GPU-Passthrough

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

ModLoader

A new mod loader for WorldBox

Factorio-SAT

Enhancing the Factorio experience with SAT solvers

spiking_CPG

Code related to the spiking Central Pattern Generator experiment

brian2

Brian is a free, open source simulator for spiking neural networks.

excelCPU

16-bit CPU for Excel, and related files

BioSwift

An attempt to create a set of freely available tools for biological computation written in pure Swift

vincenty

Calculate the geographical distance between 2 points with extreme accuracy.

Wikitext-VSCode-Extension

A Visual Studio Code Extension that provides language support for Wikitext.

SymBreak

Controlling organoid symmetry breaking uncovers an excitable system underlying human axial elongation

SMD

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

swift-evolution

This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

graphics-gremlin

Open source retro ISA video card

pyobd

An OBD-II compliant car diagnostic tool

pyephem

Scientific-grade astronomy routines for Python