issues
search
TypeFox
/
typir
Typir is a library for building type systems
MIT License
10
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Reworked the folder and file structure
#41
JohannesMeierSE
opened
4 days ago
0
Created READMEs for packages
#40
Lotes
closed
5 days ago
0
Create an easy example for the README
#39
JohannesMeierSE
opened
1 week ago
0
Constrained primitive types
#38
JohannesMeierSE
opened
1 week ago
0
Blog post about Typir
#37
JohannesMeierSE
opened
1 week ago
0
Create a release process
#36
Lotes
closed
1 week ago
0
Experiment with approach "primitives and composites"
#35
Lotes
opened
2 weeks ago
0
Support computable value parameters for types
#34
JohannesMeierSE
opened
2 weeks ago
0
Cyclic type definitions
#33
JohannesMeierSE
closed
4 days ago
1
More for LOX
#32
JohannesMeierSE
closed
3 weeks ago
1
Union / combination of type systems build with Typir
#31
JohannesMeierSE
opened
1 month ago
0
Type aliases
#30
JohannesMeierSE
opened
1 month ago
0
Union, intersect, ... types
#29
JohannesMeierSE
opened
1 month ago
0
Improve API for registering/managing inference rules and validation rules
#28
JohannesMeierSE
opened
1 month ago
0
Polish the examples OX and LOX
#27
JohannesMeierSE
opened
1 month ago
0
Generics
#26
JohannesMeierSE
opened
1 month ago
0
Test infrastructure for more fine-grained test cases
#25
JohannesMeierSE
opened
1 month ago
0
Chaining/Factory API for predefined kinds/types
#24
JohannesMeierSE
opened
1 month ago
0
Initial documentation for v0.1
#23
JohannesMeierSE
opened
1 month ago
0
Circular type definitions
#22
JohannesMeierSE
opened
1 month ago
0
Lambdas
#21
JohannesMeierSE
opened
1 month ago
0
Set-up Deployment
#20
JohannesMeierSE
closed
5 days ago
2
Documentation
#17
ftomassetti
closed
1 month ago
4
Conversion check for cycle introduction and transitivity check
#16
insafuhrmann
closed
1 month ago
1
Langium binding and more
#15
JohannesMeierSE
closed
1 month ago
1
Added postinstall for langium:generate, aligned node 18 env and updated some dependencies
#14
kaisalmen
closed
1 month ago
0
Added missing dependency
#13
JohannesMeierSE
closed
1 month ago
0
Add Langium-like dependency injection
#12
Lotes
closed
1 month ago
1
Introduced XTypes and reworked the type graph infrastructure
#11
JohannesMeierSE
closed
1 month ago
1
Use type inference during type definition, customizable validation messages
#10
JohannesMeierSE
closed
2 months ago
1
More support for LOX, API improvements after internal presentation, fixed bugs (2)
#9
JohannesMeierSE
closed
3 months ago
0
Merge additional changes for PR !7
#8
JohannesMeierSE
closed
3 months ago
0
More support for LOX, API improvements after internal presentation, fixed bugs
#7
JohannesMeierSE
closed
3 months ago
0
Add Lox as example
#6
Lotes
closed
5 months ago
0
Split inference rules
#5
JohannesMeierSE
closed
5 months ago
1
Add Ox grammar
#4
pluralia
closed
8 months ago
0
Ben's Proposal
#3
montymxb
opened
9 months ago
0
Johannes' 1st sketch for Typir
#2
JohannesMeierSE
closed
6 months ago
0
Initial draft of the type system API
#1
msujew
opened
1 year ago
3