Beast code in Giters

Sergey Morozov's starred repositories

A new (MLIR based) high-level IR for clang.

Language:LLVMNOASSERTION32500

KLEEF Symbolic Execution Engine

Language:C++NOASSERTION1300

Golang programming course

Language:GoMIT28100

100

Plugin supports special kind of DSL that helps you to create deterministic execution of your multithreaded C++ programs

Language:Java100

Language:C++400

Language:C++700

Materials for C++ practice classes by Egor Suvorov

Language:C++NOASSERTION300

Language:Kotlin200