-
Microsoft Research
- Redmond, USA
- http://research.microsoft.com/~nbjorner
Block or Report
Block or report NikolajBjorner
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
-
srm
srm PublicForked from AutomataDotNet/srm
High-performance .NET regex engine with predictable performance
C#
-
cloud-te-tutorial
cloud-te-tutorial PublicForked from racheesingh/cloud-te-tutorial
Jupyter Notebook
-
z3-rise4fun
z3-rise4fun PublicForked from jfmc/z3-rise4fun
Z3 tutorials from the rise4fun website
JavaScript
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.