Search results

Formulas and diagrams in README not visible in dark mode

Status: Open.

#32 In breandan/kotlingrad;

· aSemy opened on Dec 22, 2022

java.lang.module.ResolutionException in dependencies

Status: Open.

#29 In breandan/kotlingrad;

· qchen-fdii-cardc opened on Jun 6, 2022

Unable to resolve dependencies

Status: Open.

#28 In breandan/kotlingrad;

· snowe2010 opened on May 5, 2022

Possible collaboration with Facebook?

Status: Open.

#27 In breandan/kotlingrad;

· LifeIsStrange opened on Dec 25, 2021

The deployed Dokka HTML is empty

Status: Open.

#26 In breandan/kotlingrad;

· CommanderTvis opened on Nov 16, 2021

Time traveling visual debugger

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#18 In breandan/kotlingrad;

· breandan opened on Oct 25, 2020

Gradual typing

Status: Open.

#17 In breandan/kotlingrad;

· breandan opened on Oct 20, 2020

Compile to Kaliningraph IR

Status: Open.

#13 In breandan/kotlingrad;

· breandan opened on Jul 19, 2020

Establish the connection with GF(2)

Status: Open.

#12 In breandan/kotlingrad;

· breandan opened on Jun 23, 2020

Scala DSL

Status: Open.

#11 In breandan/kotlingrad;

· tribbloid opened on Jun 8, 2020

Publish roadmap and contributing doc?

Status: Open.

#8 In breandan/kotlingrad;

· tribbloid opened on Oct 27, 2019

AD with heterogeneous types in function inputs & outputs

Status: Open.

#5 In breandan/kotlingrad;

· SemanticBeeng opened on Jul 6, 2019