Skip to content

Issues: anoma/geb

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 19 Closed
24 Open 19 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Natural Numbers (un)curry Blow-Up
#158 opened Sep 7, 2023 by agureev
Error node needs extension from Maybe to Either E enhancement New feature or request juvix-integration
#133 opened May 31, 2023 by rokopt
Error node needs optimization to reduce introduced circuitry optimization
#132 opened May 31, 2023 by rokopt
Type for direct access to field elements enhancement New feature or request
#122 opened May 10, 2023 by rokopt
Type error for uncomposable morphisms enhancement New feature or request
#121 opened May 8, 2023 by agureev
1
Pasteable objects enhancement New feature or request
#119 opened May 6, 2023 by mariari
bitc could expose an intrinsic modulus to Geb (and Geb could expose it to clients) enhancement New feature or request optimization
#118 opened May 3, 2023 by rokopt
bitc could be extended to support constraints enhancement New feature or request
#117 opened May 3, 2023 by rokopt
bitc could be extended to support modular arithmetic enhancement New feature or request optimization
#116 opened May 3, 2023 by rokopt
Geb to Poly Compilation Bug bug Something isn't working internal-only Bugs that only affect Geb language developers, not Geb clients (such as Juvix) or users
#111 opened Apr 28, 2023 by agureev
1
Changing Bitc object structure to a bit-vector or vector enhancement New feature or request optimization
#110 opened Apr 28, 2023 by mariari
1
Uncurry Pipeline Usage
#106 opened Apr 27, 2023 by agureev
5
geb-morphism frontend enhancement New feature or request frontend
#103 opened Apr 26, 2023 by mariari
@agureev
Geb should expose VampIR error conditions through its STLC API juvix-integration
#90 opened Mar 15, 2023 by rokopt
1
Geb should use VampIR higher-order functions enhancement New feature or request juvix-integration optimization
#89 opened Mar 15, 2023 by rokopt
4
Mixin API for Categories enhancement New feature or request research
#87 opened Mar 6, 2023 by mariari
@rokopt
Common GEB standard library enhancement New feature or request
#85 opened Feb 25, 2023 by mariari
Make Interfaces/ Open Exhaustion static-analysis Static Analysis tools tooling
#63 opened Feb 13, 2023 by mariari
@mariari
2
Add functor/algebra iteration to Geb external API juvix-integration
#62 opened Feb 13, 2023 by rokopt
@rokopt
3
Add modular-arithmetic types to Geb external API juvix-integration
#61 opened Feb 13, 2023 by rokopt
@rokopt
4
Test compilation of all STLC forms to VampIR enhancement New feature or request testing Bugs in or enhancements to tests
#59 opened Feb 13, 2023 by rokopt
@rokopt
3
Release Binaries on GitHub Releases CI enhancement New feature or request juvix-integration
#51 opened Feb 7, 2023 by jonaprieto
2 tasks
3
Properly artifact between jobs CI enhancement New feature or request
#34 opened Jan 10, 2023 by mariari
Improve documentation examples. documentation Improvements or additions to documentation
#25 opened Dec 14, 2022 by mariari
ProTip! Follow long discussions with comments:>50.