Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Sign up
Popular repositories
-
Forked from sysu-software/BiArkit
BiArkit is a versatile toolkit that integrates different modules together and helps researchers approach information on synthetic biology. The first function is GenomeBrowser, which visualizes the …
Java 1
-
-
-
-
Forked from BekaValentine/InversionCalculus
A simply typed lambda calculus solver for Agda, based on Pfenning's Inversion Calculus.
12 contributions in the last year
Contribution activity
September 2019
Created an issue in digital-asset/daml that received 3 comments
DAML Sandbox: com.digitalasset.platform.server.api.ApiException Ledger ID not found
This is possibly related to #2353. Without ever receiving a request from my GRPC client, the sandbox is emitting errors, somewhere around the 46th …