Search Results for "diff merge"

A GitHub (gh) CLI extension to display a dashboard with pull requests and issues by filters you care about. Write multiple configuration files to easily switch between completely different dashboards. Repo name-to-path mappings can be an exact match (full name, full path) or wildcard matched using the owner and partial path. To override the default set of terminal colors and instead create your own color scheme, you can define one in your config.yml file. If you choose to go this route, you...

Easy everyday parallelism with a file tree abstraction. Read a directory structure as a Julia data structure, (lazy-)load the files, apply map and reduce operations on the data while not exceeding available memory if possible. Make up a file tree in memory, create some data to go with each file (in parallel), write the tree to disk (in parallel). FileTrees is a set of tools to lazy-load, process and save file trees. Built-in parallelism allows you to max out all threads and processes that...

Create, check, annotate, merge, diff, split SBML (System Biology Markup Lanugage) documents. The latest version of semanticSBML is webbased with a RESTful interface.