Skip to content

Issues: engboris/stellogen

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

20 Open 17 Closed
20 Open 17 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Add subtyping by testing enhancement New feature or request good first issue Good for newcomers
#80 opened Feb 12, 2025 by engboris
Internalised type inference with homogeneous syntax for programs and types enhancement New feature or request to be designed Debate about design
#78 opened Feb 11, 2025 by engboris
Separated typechecking essential good first issue Good for newcomers refactoring
#74 opened Feb 3, 2025 by engboris
Implement Turing machine example play with language
#67 opened Jan 25, 2025 by engboris
Implement example of comptuation with a tile system play with language
#65 opened Jan 24, 2025 by engboris
Implement Lafont's interaction nets/combinators play with language theory Theoretical considerations to be designed Debate about design
#62 opened Jan 23, 2025 by engboris
Use js_of_ocaml to use stellogen on web browser
#57 opened Jan 19, 2025 by engboris
Use sedlex instead of ocamllex for lexing good first issue Good for newcomers refactoring
#56 opened Jan 18, 2025 by engboris
Detect cyclic interactions enhancement New feature or request essential
#44 opened Jan 11, 2025 by engboris
Allow (preprocessed) identifiers within rays enhancement New feature or request to be designed Debate about design
#41 opened Jan 10, 2025 by engboris
Importing definitions from external files enhancement New feature or request essential good first issue Good for newcomers
#39 opened Jan 10, 2025 by engboris
1
Extend substitutions to replace whole ray by another ray enhancement New feature or request good first issue Good for newcomers
#37 opened Jan 10, 2025 by engboris
Chained substitutions enhancement New feature or request to be designed Debate about design
#26 opened Jan 1, 2025 by engboris
1
Functional truth theory Theoretical considerations to be designed Debate about design
#21 opened Dec 31, 2024 by engboris
System lock (Girard's epidictic/systems) enhancement New feature or request theory Theoretical considerations to be designed Debate about design
#20 opened Dec 31, 2024 by engboris
Compiling Stellogen to be designed Debate about design
#19 opened Dec 31, 2024 by engboris
Algebraic macros enhancement New feature or request to be designed Debate about design
#18 opened Dec 31, 2024 by engboris
Handling of syntax errors / add locations in parser and AST enhancement New feature or request essential
#17 opened Dec 31, 2024 by engboris
Tokens for stars enhancement New feature or request
#15 opened Dec 31, 2024 by engboris
Local typing expressions enhancement New feature or request
#14 opened Dec 31, 2024 by engboris
ProTip! Exclude everything labeled bug with -label:bug.