gsvgit

Brahma.FSharp

Actual repository moved form here to:

PySymGym

Python infrastructure to train paths selectors for symbolic execution engines.

CFPQ_GLL

SimpleTranslatorProgrammingCourse

Simple translator for programming course 2-nd semester.

TestProject2020

Demo for programmig 2020

221_2019

Practice of programming for 221 (2019)

221_2019_2020

New version of repo for HW.

CFPQ_PyAlgo

cpp-project

Boiler plate for C++ projects, with CMake, Doctest, Travis CI, Appveyor and coverage reports.

DatalogToLinearAlgebra

distiller

DotParser

GraphBLAS-Pointers

Resources on the GraphBLAS standard for graph algorithms in the language of linear algebra

high-performance-graph-analysis

Курс по высокопроизводительному анализу графов: шаблон для домашних работ + материалы

high-performance-graph-analysis-course

ImageProcessing

Image processing in F# on GPGPU using Brahma.FSharp

jb-lab-proceedings

Automatically exported from code.google.com/p/jb-lab-proceedings

ladot2eps

A simple wrapper of ladot that makes using LaTeX in Dot files relatively easy

matmex-diploma-template

MiniScaffold

F# Template for creating and publishing libraries targeting .NET 5.0 `net5.0` or console apps .NET 5.0 `net5.0`.

NeuralNetwork

Simple neural network constructor in F#

ParserDemo

PeanutProver

POCR

posts

Пишу посты здесь. Потом отрендерю их на отдельном сайте

Programming2022-2023

Programming in F#

SymGym.Maps

Maps to train psths selectors

TestNuGet

Test NuGet+GitHub

usvm

Universal Symbolic Virtual Machine

VSharp

Symbolic execution engine for .NET Core