Temporal Pathway Synthesizer
☆17Jun 28, 2024Updated 2 years ago
Alternatives and similar repositories for tps
Users that are interested in tps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Jul 29, 2020Updated 6 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 6 months ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- 首师 大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Mar 25, 2016Updated 10 years ago
- Connect the dots in networks.☆22Aug 28, 2020Updated 6 years ago
- 🦠 A tool for identifying and analyzing functions in microbial genomes.☆16Sep 25, 2024Updated last year
- Index and query k-mer matrices in BGZF☆12Apr 30, 2018Updated 8 years ago
- Align sequences and then parse features.☆17Oct 24, 2025Updated 10 months ago
- R markdown file to extract list of collaborators and affiliations from pubmed for NSF biosketch☆39Aug 16, 2017Updated 9 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- the we-flyin WFA-guided ultralong tiling sequence aligner☆10May 13, 2021Updated 5 years ago
- Make machine learning simpler with Galaxy☆12Jul 16, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Nov 24, 2015Updated 10 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 4 years ago
- Analyzes whole genome sequencing data for gene-editing verification☆13Aug 31, 2026Updated 3 weeks ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 5 months ago
- This repository is the working directory for the Garnet-Forest bundle of python scripts for analyzing diverse forms of 'omic' data in a n…☆31Jan 9, 2019Updated 7 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆28Jul 13, 2023Updated 3 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated last year
- Results and data from the pilot round of the Protein Engineering Tournament☆30Mar 25, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An interactive web application tool that enables big data visualization of the 136k+ UK Road Accidents reported during 2016.☆10Oct 19, 2022Updated 3 years ago
- SIGPLAN website☆13Sep 11, 2026Updated last week
- Unzip assembly graphs with Hi-C data and/or long reads.☆29May 7, 2026Updated 4 months ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 5 years ago
- Jupyter Notebook Tutorials for Machine Learning in Chemistry (MLChem)☆19Jan 25, 2026Updated 7 months ago
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- requirements, examples, and tests for expression matrix file formats☆22Sep 18, 2018Updated 8 years ago
- High throughput, pain-free big data pipelines.☆29Mar 11, 2017Updated 9 years ago
- Prize-Collecting Steiner Forests for Interactomes☆65Jun 18, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- All design files and scripts necessary for the construction and use of the optoPlate-96☆11Apr 28, 2022Updated 4 years ago
- Embeddings to Network Alignment - align biological networks between two species☆10Sep 8, 2023Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Dimensionality reduction for single cell RNA-seq data☆36Feb 9, 2020Updated 6 years ago
- ☆15May 7, 2019Updated 7 years ago
- ☆11Apr 17, 2023Updated 3 years ago
- A dynamically-typed CBPV language embedded in Racket☆43Sep 15, 2026Updated last week