Skip to content
Sign up
Why GitHub?
Features
→
Code review
Project management
Integrations
Actions
Packages
Security
Team management
Hosting
Mobile
Customer stories
→
Security
→
Team
Enterprise
Explore
Explore GitHub
→
Learn & contribute
Topics
Collections
Trending
Learning Lab
Open source guides
Connect with others
Events
Community forum
GitHub Education
GitHub Stars program
Marketplace
Pricing
Plans
→
Compare plans
Contact Sales
Nonprofit
→
Education
→
In this repository
All GitHub
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub
↵
Jump to
↵
In this repository
All GitHub
↵
Jump to
↵
Sign in
Sign up
{{ message }}
seq-lang
/
seq
Watch
20
Star
220
Fork
16
Code
Issues
27
Pull requests
3
Actions
Projects
1
Wiki
Security
Insights
More
Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights
Sort
Sort by
Newest
Oldest
Recently updated
Least recently updated
Name
1 Open
2 Closed
Seq v0.10
Updated
Nov 29, 2019
Lift type checking from C++ to OCaml
You can’t perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.