vasil-sd

Pinned Repositories

ada-tlsf
Verified TLSF allocator in Ada/SPARK
Language:Ada3 6 00
compgraph
graph of computation
Language:Alloy1 1 00
cpp_comb_parsers
Simple C++ combinatiorial parsers
Language:C++1 1 00
drakon_editor
DRAKON Editor
Language:Tcl1 2 00
engineering-sw-hw-model-checking-letures
Lectures in MIPT: intro to engineering software using model-checking.
Language:Alloy16 9 00
lalambda2021
Presentation for workshop for summer school of formal methods, model-checking and FP - Lalambda2021
3 2 00
ocaml-ba
Ocaml library for Buchi automata
Language:OCaml2 2 00
plantuml-pdf-math
Language:Shell1 2 00
shen-libs
Shen experimental libraries
Language:Shen147 19 215

vasil-sd's Repositories

vasil-sd/ocaml-ba
Ocaml library for Buchi automata
Language:OCaml2 2 00
vasil-sd/drakon_editor
DRAKON Editor
Language:Tcl1 2 00
vasil-sd/cpp-bits
Some templates to work with bitfields
Language:C++2 0
vasil-sd/cpp-row-types
Row types in C++ templates
Language:C++3 0
vasil-sd/iocamlserver
Web server for IOCaml
Language:JavaScript2 0
vasil-sd/jenkins-job-builder
Language:Python2 0
vasil-sd/libelfin
C++11 ELF/DWARF parser
Language:C++2 0
vasil-sd/mpfr-java
GNU MPFR Java Bindings
Language:Java1 0
vasil-sd/ocaml-bitrel
Library for work with relations
Language:OCaml2 0
vasil-sd/ocaml-bitset
Language:OCaml2 0
vasil-sd/pron.github.io
Language:HTML2 0
vasil-sd/tla-pygments
A terrible pygments plugin from a terrible human
Language:Python2 0
vasil-sd/xc3sprog
xc3sprog is a suite of utilities for programming Xilinx FPGAs, CPLDs, and EEPROMs with the Xilinx Parallel Cable and other JTAG adapters under Linux. Used to program the FPGA of the MATRIX Creator via Raspberry Pi.
Language:C++2 0