Giters
Sergei Yu. Skorobogatov (skorobogatov)

skorobogatov

Geek Repo

22

followers

1

following

10

stars

Location:Moscow

Github PK Tool:Github PK Tool

Sergei Yu. Skorobogatov's repositories

input

C-like input functions for BMSTU students

Language:GoStargazers:4Issues:1Issues:0

protosmt

Prototype SMT Solver

Language:PythonLicense:GPL-3.0Stargazers:4Issues:0Issues:0

z3

Golang binding for Z3 theorem prover from Microsoft Research

Language:GoLicense:MITStargazers:2Issues:1Issues:0

mjs

Embedded JavaScript engine for C/C++

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0