Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Proost
Manage
Activity
Members
Labels
Plan
Issues
33
Issue boards
Milestones
Code
Merge requests
18
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Package Registry
Model registry
Operate
Terraform modules
Analyze
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
loutr
Proost
Merge requests
Open
18
Merged
64
Closed
21
All
103
Actions
Subscribe to RSS feed
Recent searches
You don't have any recent searches
Loading
Author
Assignee
Reviewer
Merged-By
Approved-By
Milestone
Label
Release
Draft
Target-Branch
Source-Branch
Environment
Deployed-before
Deployed-after
Search for this text
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
❔
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Priority
Created date
Closed date
Updated date
Milestone due date
Popularity
Label priority
Title
Draft: Resolve "Non-dependent products optimisation"
!104
· created
1 year ago
by
pigeonmoelleux
Doing
Kernel
Optimisation
updated
1 year ago
Draft: Resolve "Make traces opaque"
!100
· created
1 year ago
by
loutr
99-add-let-binder
Elaboration
Kernel
Refactor
updated
11 months ago
Resolve "LogSem seminar talk"
!98
· created
2 years ago
by
v-lafeychine
1
Approved
updated
11 months ago
Draft: Resolve "Implement bidirectional type-checking"
!97
· created
2 years ago
by
belazy
Kernel
Optimisation
Draft: Resolve "Implement Normalisation-by-evaluation"
!95
· created
2 years ago
by
belazy
Kernel
Optimisation
updated
2 years ago
Draft: Resolve "Add `examples/` as a test suite for the pipeline"
!94
· created
2 years ago
by
loutr
feature
updated
2 years ago
Draft: Resolve "Memoization of normal form"
!93
· created
2 years ago
by
loutr
Kernel
Optimisation
feature
updated
2 years ago
Draft: Resolve "Add match-syntax"
!92
· created
2 years ago
by
belazy
Kernel
feature
updated
2 years ago
Resolve "Add `let` binder"
!91
· created
2 years ago
by
belazy
Parser
feature
1
updated
10 months ago
Draft: Add observational equality
!86
· created
2 years ago
by
belazy
Doing
Kernel
feature
updated
2 years ago
Draft: Resolve "Add `Sigma` and `Exists` type"
!85
· created
2 years ago
by
belazy
Doing
Kernel
feature
updated
2 years ago
feat(tilleul): Resolve "Add LSP diagnostics"
!83
· created
2 years ago
by
v-lafeychine
6
updated
2 years ago
Draft: Resolve "Add `List` type"
!82
· created
2 years ago
by
nartan
Doing
Good first issue
Kernel
Draft: Resolve "test proost evaluator"
!80
· created
2 years ago
by
aalbert
feature
updated
2 years ago
Draft: feat:add better tab behavior for proost toplevel
!69
· created
2 years ago
by
eman
Good first issue
To review
Toplevel
2
updated
2 years ago
Draft: Resolve "Add namespace end"
!61
· created
2 years ago
by
aalbert
Doing
1
updated
2 years ago
Draft: Resolve "add search command"
!45
· created
2 years ago
by
aalbert
updated
2 years ago
Draft: Resolve "Performance tests"
!16
· created
2 years ago
by
loutr
Stuck
1
updated
2 years ago
