Selective Intellect LLC's repositories
p5-alien-gputils
Suite of helper applications for VIC(TM)
Language:PerlApache-2.0000
pcg-c
PCG — C Implementation
Language:CApache-2.0000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000
Language:PerlNOASSERTION000
Language:PerlNOASSERTION000
selectiveintellect.github.io
Selective Intellect LLC
Language:JavaScript000
vic-pgx
VIC Pegex file
Language:MakefileNOASSERTION000