Search results

Repository Status?

Status: Open.

#88 In con-kitty/categorifier-c;

· o1lo01ol1o opened on Dec 15, 2024

Unable to inline expression using fmap and Data.Vec.Lazy

Status: Open.

#86 In con-kitty/categorifier-c;

· o1lo01ol1o opened on Mar 27, 2023

please provide Vec example

Status: Open.

#84 In con-kitty/categorifier-c;

· espguy opened on Mar 10, 2023

Provide non-trivial "ad" example

Status: Open.

#77 In con-kitty/categorifier-c;

· wavewave opened on Jun 4, 2022

check dev shell availability on CI

Status: Open.

#76 In con-kitty/categorifier-c;

· wavewave opened on Jun 1, 2022

Convert withJitFunction tests to embedFunction tests

Status: Open.

#73 In con-kitty/categorifier-c;

· wavewave opened on May 28, 2022

Retire SBV dependency from categorifier-c

Status: Open.

#70 In con-kitty/categorifier-c;

· wavewave opened on May 26, 2022

Staged compilation for unsafePerformIO

Status: Open.

#58 In con-kitty/categorifier-c;

· zliu41 opened on Apr 15, 2022

categorify Vectors

Status: Open.

#57 In con-kitty/categorifier-c;

· zliu41 opened on Apr 15, 2022

automatically split C into separate functions

Status: Open.

#56 In con-kitty/categorifier-c;

· zliu41 opened on Apr 15, 2022

Generate product types to contain fallback values for unions

Status: Open.

#54 In con-kitty/categorifier-c;

· zliu41 opened on Apr 15, 2022

reify failures in the controller

Status: Open.

#53 In con-kitty/categorifier-c;

· zliu41 opened on Apr 15, 2022