cucapra/gator

View on GitHub

Geometry types

Stars: 37
Forks: 11
Open beginner issues: 0
Indexed issues: 20

Dominant language: OCaml
License: No license data
Last GitHub push: Jan 6, 2021
Latest indexed: Sep 15, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue help wanted
PR merge metrics: No merged PRs in 30d

Open All

20 open issues indexed

Less than Open

bug help wanted

cucapra/gator#22 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Improve error handling ⚠️ Open

good first issue

cucapra/gator#24 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
.cache/ Invalidation Open

examples

cucapra/gator#29 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Benchmarking ✔️ Open

examples

cucapra/gator#40 · 2 comments · 1 reaction · 2 assignees · Indexed Sep 15, 2026
Require Canonical Transformations To Be Unique Under Subsumption Open

testing

cucapra/gator#50 · 1 comment · 1 reaction · 1 assignee · Indexed Sep 15, 2026
Update VSCode Extension Open

good first issue

cucapra/gator#64 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
External Interpreter Open

good first issue

cucapra/gator#65 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Fix Support for Canonical Functions Open

cucapra/gator#77 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Scientific Notation Open

enhancement good first issue testing

cucapra/gator#79 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add Support for Existential Types for Managing Generic Declarations Open

enhancement

cucapra/gator#81 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Declare Function Statement Detecting Undefined Types Open

bug

cucapra/gator#83 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Parameterizing Schemes by Frame Dimension Open

enhancement help wanted

cucapra/gator#85 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
First Class Functions Open

enhancement help wanted

cucapra/gator#89 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Extending Schemes Open

enhancement

cucapra/gator#91 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
In Expressions Failing Open

bug

cucapra/gator#94 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Lack of null Open

enhancement

cucapra/gator#95 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
'new' keyword Open

enhancement

cucapra/gator#97 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Arrays with custom types broken Open

bug

cucapra/gator#98 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Or Types Open

enhancement wontfix

cucapra/gator#99 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add machine readable mode Open

cucapra/gator#126 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

cucapra/gator

Get new issues in your inbox