veanes

MicrosoftRedmond

Pinned Repositories

Automata
Automata and transducer library for .NET
Language:C#79 11 528
srm
High-performance .NET regex engine with predictable performance
Language:C#45 6 49
runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
Language:C#15.4k 465 64.5k4.7k
runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
Language:C#0 1 00
runtimelab
This repo is for experimentation and exploring new ideas that may or may not make it into the main dotnet/runtime repo.
0 0 00
z3
The Z3 Theorem Prover
Language:C++0 1 00
z3test
Test and benchmark repository for Z3.
Language:SMT0 0 00
z3
The Z3 Theorem Prover
Language:C++10.4k 181 5.5k1.5k
z3test
Test and benchmark repository for Z3.
Language:SMT24 16 028

veanes's Repositories

veanes/runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
Language:C#0 1 00
veanes/runtimelab
This repo is for experimentation and exploring new ideas that may or may not make it into the main dotnet/runtime repo.
0 0 00
veanes/z3
The Z3 Theorem Prover
Language:C++0 1 00
veanes/z3test
Test and benchmark repository for Z3.
Language:SMT0 0 00