Skip to content

Issues: strangemonad/runway

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

29 Open 2 Closed
29 Open 2 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

Design of the packaging system – packaging / library / namespace controls
#31 opened Mar 7, 2018 by strangemonad
Concepts and representations as retracts
#30 opened Feb 21, 2018 by strangemonad
Explore model and representation separation
#29 opened Jan 9, 2018 by strangemonad
Principles
#28 opened Jan 9, 2018 by strangemonad
1
Explore semantic changes
#27 opened Dec 30, 2017 by strangemonad
Should 2 data mappers that type check count as partial "proof" of isomorphism
#26 opened Dec 29, 2017 by strangemonad
Explore inheritance vs traits for modeling
#25 opened Dec 29, 2017 by strangemonad
Explore refs vs object graphs
#24 opened Dec 29, 2017 by strangemonad
1
Explore round trip engineering
#23 opened Dec 29, 2017 by strangemonad
Allow language build profiles
#21 opened Dec 29, 2017 by strangemonad
Explore defining verilog and HW modules or subsets of IP cores
#20 opened Nov 30, 2017 by strangemonad
Explore type metadata or tags
#19 opened Nov 26, 2017 by strangemonad
Explore source level transclusion and macro generation as a means of code reuse
#18 opened Nov 26, 2017 by strangemonad
Explore language dependant transclusions (within bounded contexts)
#17 opened Nov 26, 2017 by strangemonad
Idea: there is no "true" representation. Allow functors between equivalent forms
#16 opened Nov 11, 2017 by strangemonad
2
Tools: analyze existing types (in various languages) and generate a model for it.
#15 opened Nov 10, 2017 by strangemonad
Explore how to handle traget type sizes (e.g. Long) separately from modeling concerns
#14 opened Nov 10, 2017 by strangemonad
1
Explore how to allow generated types to inheret from targetet language protocol / interface / type traits
#13 opened Nov 10, 2017 by strangemonad
Explore how to handle name clashes at usagge sites
#12 opened Nov 10, 2017 by strangemonad
Explore how mappers / converters work
#10 opened Nov 10, 2017 by strangemonad
Define some core, useful models (and values)
#9 opened Nov 10, 2017 by strangemonad
Explore the migration of model types
#8 opened Nov 10, 2017 by strangemonad
1
Explore how to allow per-language style customizations (e.g. capitalization)
#7 opened Nov 10, 2017 by strangemonad
How can generated models add methods (in their respective target language)
#6 opened Nov 10, 2017 by strangemonad
Explore how models map to cannonical target language types
#5 opened Nov 10, 2017 by strangemonad
1
ProTip! Mix and match filters to narrow down what you’re looking for.