Francesco Porto's starred repositories

Proton

Compatibility tool for Steam Play based on Wine and additional components

Language:C++License:NOASSERTIONStargazers:23823Issues:0Issues:0

iced

A cross-platform GUI library for Rust, inspired by Elm

Language:RustLicense:MITStargazers:24044Issues:0Issues:0

druid

A data-first Rust-native UI design toolkit.

Language:RustLicense:Apache-2.0Stargazers:9487Issues:0Issues:0

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:32251Issues:0Issues:0

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Language:CLicense:NOASSERTIONStargazers:349Issues:0Issues:0
Language:PythonLicense:MITStargazers:19Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10123Issues:0Issues:0

hrfs

Analysis of the set of founder sequences under a homologous recombination model

Language:RustLicense:MITStargazers:4Issues:0Issues:0

js-raycasting

P5.js raycasting implementation

Language:JavaScriptLicense:MITStargazers:2Issues:0Issues:0

RecGraph

Optimal sequence-to-graph alignment with recombinations

Language:RustLicense:MITStargazers:23Issues:0Issues:0

rust-seal

Rust implementation of Needleman-Wunsch & Smith-Waterman sequence alignment

Language:RustStargazers:19Issues:0Issues:0

triple_accel

Rust edit distance routines accelerated using SIMD. Supports fast Hamming, Levenshtein, restricted Damerau-Levenshtein, etc. distance calculations and string search.

Language:RustLicense:MITStargazers:100Issues:0Issues:0
Language:TeXStargazers:3Issues:0Issues:0

rlpbwt

C++ implementation of the run-length encoded positional Burrows-Wheeler transform for set-maximal exact matches computation

Language:C++Stargazers:3Issues:0Issues:0

python-string-similarity

A library implementing different string similarity and distance measures using Python.

Language:PythonLicense:MITStargazers:982Issues:0Issues:0

sourcrystal

Improved/Updated mod of Pokemon Crystal

Language:AssemblyStargazers:40Issues:0Issues:0

desmume

DeSmuME is a Nintendo DS emulator

Language:CLicense:GPL-2.0Stargazers:2899Issues:0Issues:0

modern-cpp-tutorial

📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/

Language:C++License:MITStargazers:23795Issues:0Issues:0

astarix

AStarix: Fast and Optimal Sequence-to-Graph Aligner

Language:C++License:MPL-2.0Stargazers:72Issues:0Issues:0

dfaas

Decentralized FaaS platform

Language:PythonStargazers:16Issues:0Issues:0

sapfhir

Join genomic variation graphs with public data or internal medical data e.g. FHIR. by having a FAIR data access, using W3C sparql as a standard protocol.

Language:JavaLicense:GPL-3.0Stargazers:3Issues:0Issues:0
License:MITStargazers:1Issues:0Issues:0

AppImageLauncher

Helper application for Linux distributions serving as a kind of "entry point" for running and integrating AppImages

Language:C++License:MITStargazers:5343Issues:0Issues:0

vita2hos

[WIP] PlayStation Vita to Horizon OS (Nintendo Switch OS) translation layer

Language:CLicense:GPL-2.0Stargazers:1100Issues:0Issues:0

bd-anchors

Bidirectional string anchors: a New String Sampling Mechanism.

Language:C++License:GPL-3.0Stargazers:6Issues:0Issues:0

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:61721Issues:0Issues:0

poapy

A simple Partial Order Aligner based on Lee, Grasso and Sharlow (2002), for education/demonstration purposes

Language:PythonLicense:GPL-3.0Stargazers:71Issues:0Issues:0

WFPOA

An extension to the wavefront algorithm that generalizes it to work on directed acyclic sequence graphs

Language:CLicense:MITStargazers:9Issues:0Issues:0

block-aligner

SIMD-accelerated library for computing global and X-drop affine gap penalty sequence-to-sequence or sequence-to-profile alignments using an adaptive block-based algorithm.

Language:Jupyter NotebookLicense:MITStargazers:124Issues:0Issues:0

rust-htslib

This library provides HTSlib bindings and a high level Rust API for reading and writing BAM files.

Language:RustLicense:MITStargazers:297Issues:0Issues:0